Principles and Practice of Constraint Programming – CP 2004

DOI10.1007/b100482zbMath1152.68585OpenAlexW1508891358MaRDI QIDQ5900281

Bart Selman

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Visualizing SAT instances and runs of the DPLL algorithm

Uses Software

• Walksat

This page was built for publication: Principles and Practice of Constraint Programming – CP 2004