Principles and Practice of Constraint Programming – CP 2004
From MaRDI portal
Publication:5900325
DOI10.1007/b100482zbMath1152.68588OpenAlexW1508891358MaRDI QIDQ5900325
Fahiem Bacchus, Toby Walsh, Christian Thiffault
Publication date: 9 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100482
Related Items
Clingcon: The next generation ⋮ A first polynomial non-clausal class in many-valued logic ⋮ Programming for modular reconfigurable robots ⋮ Limitations of restricted branching in clause learning ⋮ Beyond CNF: A Circuit-Based QBF Solver ⋮ The possibilistic Horn non-clausal knowledge bases ⋮ Unrestricted vs restricted cut in a tableau method for Boolean circuits
Uses Software