@inproceedings{DBLP:conf/cpaior/ArtiguesHM0W14,
  author    = {Christian Artigues and
               Emmanuel Hebrard and
               Valentin Mayer{-}Eichberger and
               Mohamed Siala and
               Toby Walsh},
  editor    = {Helmut Simonis},
  title     = {{SAT} and Hybrid Models of the Car Sequencing Problem},
  booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
               - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May
               19-23, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8451},
  pages     = {268--283},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07046-9\_19},
  doi       = {10.1007/978-3-319-07046-9\_19},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/cpaior/ArtiguesHM0W14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ghBZxarZJW2XS4jiG","bibbaseid":"artigues-hebrard-mayereichberger-siala-walsh-satandhybridmodelsofthecarsequencingproblem-2014","downloads":0,"creationDate":"2016-06-06T06:47:31.715Z","title":"SAT and Hybrid Models of the Car Sequencing Problem","author_short":["Artigues, C.","Hebrard, E.","Mayer-Eichberger, V.","Siala, M.","Walsh, T."],"year":2014,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/39/2558-2.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Christian"],"propositions":[],"lastnames":["Artigues"],"suffixes":[]},{"firstnames":["Emmanuel"],"propositions":[],"lastnames":["Hebrard"],"suffixes":[]},{"firstnames":["Valentin"],"propositions":[],"lastnames":["Mayer-Eichberger"],"suffixes":[]},{"firstnames":["Mohamed"],"propositions":[],"lastnames":["Siala"],"suffixes":[]},{"firstnames":["Toby"],"propositions":[],"lastnames":["Walsh"],"suffixes":[]}],"editor":[{"firstnames":["Helmut"],"propositions":[],"lastnames":["Simonis"],"suffixes":[]}],"title":"SAT and Hybrid Models of the Car Sequencing Problem","booktitle":"Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8451","pages":"268–283","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-07046-9_19","doi":"10.1007/978-3-319-07046-9_19","timestamp":"Tue, 14 May 2019 10:00:47 +0200","biburl":"https://dblp.org/rec/conf/cpaior/ArtiguesHM0W14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cpaior/ArtiguesHM0W14,\n author = {Christian Artigues and\n Emmanuel Hebrard and\n Valentin Mayer{-}Eichberger and\n Mohamed Siala and\n Toby Walsh},\n editor = {Helmut Simonis},\n title = {{SAT} and Hybrid Models of the Car Sequencing Problem},\n booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming\n - 11th International Conference, {CPAIOR} 2014, Cork, Ireland, May\n 19-23, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8451},\n pages = {268--283},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-07046-9\\_19},\n doi = {10.1007/978-3-319-07046-9\\_19},\n timestamp = {Tue, 14 May 2019 10:00:47 +0200},\n biburl = {https://dblp.org/rec/conf/cpaior/ArtiguesHM0W14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Artigues, C.","Hebrard, E.","Mayer-Eichberger, V.","Siala, M.","Walsh, T."],"editor_short":["Simonis, H."],"key":"DBLP:conf/cpaior/ArtiguesHM0W14","id":"DBLP:conf/cpaior/ArtiguesHM0W14","bibbaseid":"artigues-hebrard-mayereichberger-siala-walsh-satandhybridmodelsofthecarsequencingproblem-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-07046-9_19"},"metadata":{"authorlinks":{}}},"search_terms":["sat","hybrid","models","car","sequencing","problem","artigues","hebrard","mayer-eichberger","siala","walsh"],"keywords":[],"authorIDs":["5460adb6cff45d9c64000123"],"dataSources":["geFMqnsmqvN8HHRRp"]}