Publication:4904223

zbMath1258.68137MaRDI QIDQ4904223

Karem A. Sakallah, João P. Marques-Silva

Publication date: 28 January 2013

zbMATH Keywords

CDCL; (SAT); Boolean satisfiability decision problem; conflict-driven clause learning SAT solvers

Mathematics Subject Classification ID

68Q32: Computational learning theory

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

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

Uses Software

• MiniSat
• SATO
• BerkMin
• Velev SAT Benchmarks