%0 Conference Paper %1 conf/or/Grossmann12 %A Großmann, Peter %B OR %D 2012 %E Helber, Stefan %E Breitner, Michael H. %E Rösch, Daniel %E Schön, Cornelia %E von der Schulenburg, Johann-Matthias Graf %E Sibbertsen, Philipp %E Steinbach, Marc Christian %E Weber, Stefan %E Wolter, Anja %I Springer %K dblp %P 481-486 %T Automatic Scheduling of Periodic Event Networks by SAT Solving. %U http://dblp.uni-trier.de/db/conf/or/or2012.html#Grossmann12 %@ 978-3-319-00795-3

@inproceedings{conf/or/Grossmann12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Großmann, Peter}, biburl = {https://www.bibsonomy.org/bibtex/29d3eb93114db4cfa75719da9b5a6f3e9/dblp}, booktitle = {OR}, crossref = {conf/or/2012}, editor = {Helber, Stefan and Breitner, Michael H. and Rösch, Daniel and Schön, Cornelia and von der Schulenburg, Johann-Matthias Graf and Sibbertsen, Philipp and Steinbach, Marc Christian and Weber, Stefan and Wolter, Anja}, ee = {https://doi.org/10.1007/978-3-319-00795-3_72}, interhash = {e2df456ab5c501c1b9219359af1a2769}, intrahash = {9d3eb93114db4cfa75719da9b5a6f3e9}, isbn = {978-3-319-00795-3}, keywords = {dblp}, pages = {481-486}, publisher = {Springer}, timestamp = {2020-06-17T11:51:45.000+0200}, title = {Automatic Scheduling of Periodic Event Networks by SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/or/or2012.html#Grossmann12}, year = 2012 }