%0 Conference Paper %1 conf/cpaior/ArtiguesHM0W14 %A Artigues, Christian %A Hebrard, Emmanuel %A Mayer-Eichberger, Valentin %A Siala, Mohamed %A Walsh, Toby %B CPAIOR %D 2014 %E Simonis, Helmut %I Springer %K %P 268-283 %T SAT and Hybrid Models of the Car Sequencing Problem. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2014.html#ArtiguesHM0W14 %V 8451 %@ 978-3-319-07045-2

@inproceedings{conf/cpaior/ArtiguesHM0W14, added-at = {2023-12-12T20:01:31.000+0100}, author = {Artigues, Christian and Hebrard, Emmanuel and Mayer-Eichberger, Valentin and Siala, Mohamed and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/221a04e8409648b7fbf07e790349df537/admin}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2014}, editor = {Simonis, Helmut}, ee = {https://doi.org/10.1007/978-3-319-07046-9_19}, interhash = {296bd65e929ff0a7cea2f13ea2dcb190}, intrahash = {21a04e8409648b7fbf07e790349df537}, isbn = {978-3-319-07045-2}, keywords = {}, pages = {268-283}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T20:01:31.000+0100}, title = {SAT and Hybrid Models of the Car Sequencing Problem.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2014.html#ArtiguesHM0W14}, volume = 8451, year = 2014 }