%0 Conference Paper %1 conf/ieaaie/GrossmannHMNOS12 %A Großmann, Peter %A Hölldobler, Steffen %A Manthey, Norbert %A Nachtigall, Karl %A Opitz, Jens %A Steinke, Peter %B IEA/AIE %D 2012 %E Jiang, He %E Ding, Wei %E Ali, Moonis %E Wu, Xindong %I Springer %K dblp %P 166-175 %T Solving Periodic Event Scheduling Problems with SAT. %U http://dblp.uni-trier.de/db/conf/ieaaie/ieaaie2012.html#GrossmannHMNOS12 %V 7345 %@ 978-3-642-31086-7

@inproceedings{conf/ieaaie/GrossmannHMNOS12, added-at = {2017-05-19T00:00:00.000+0200}, author = {Großmann, Peter and Hölldobler, Steffen and Manthey, Norbert and Nachtigall, Karl and Opitz, Jens and Steinke, Peter}, biburl = {https://www.bibsonomy.org/bibtex/22e82701c2c7a71bc20018c95433dc81f/dblp}, booktitle = {IEA/AIE}, crossref = {conf/ieaaie/2012}, editor = {Jiang, He and Ding, Wei and Ali, Moonis and Wu, Xindong}, ee = {https://doi.org/10.1007/978-3-642-31087-4_18}, interhash = {e70662ec98439c68d6bf3c2b98acff6a}, intrahash = {2e82701c2c7a71bc20018c95433dc81f}, isbn = {978-3-642-31086-7}, keywords = {dblp}, pages = {166-175}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:41.000+0200}, title = {Solving Periodic Event Scheduling Problems with SAT.}, url = {http://dblp.uni-trier.de/db/conf/ieaaie/ieaaie2012.html#GrossmannHMNOS12}, volume = 7345, year = 2012 }