SAT and Hybrid Models of the Car Sequencing Problem

DOI10.1007/978-3-319-07046-9_19zbMath1407.68444OpenAlexW1038217019MaRDI QIDQ5418738

Christian Artigues, Valentin Mayer-Eichberger, Toby Walsh, Emmanuel Hebrard, Mohamed Siala

Publication date: 27 May 2014

Published in: Integration of AI and OR Techniques in Constraint Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07046-9_19

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Production models (90B30) Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• CSPLib
• Chaff
• Sat4j

This page was built for publication: SAT and Hybrid Models of the Car Sequencing Problem