Off the Trail: Re-examining the CDCL Algorithm

DOI10.1007/978-3-642-31612-8_4zbMath1273.68348OpenAlexW59043292MaRDI QIDQ2843320

Fahiem Bacchus, Alexandra Goultiaeva

Publication date: 12 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8_4

Mathematics Subject Classification ID

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

Uses Software

• DepQBF

This page was built for publication: Off the Trail: Re-examining the CDCL Algorithm