Conflict-Driven clause learning SAT solvers

Joao Marques-Silva, Ines Lynce, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish (US)
Title of host publicationHandbook of Satisfiability
Subtitle of host publicationSecond Edition
PublisherIOS Press
Pages133-182
Number of pages50
ISBN (Electronic)9781643681610
ISBN (Print)9781643681603
DOIs
StatePublished - May 5 2021

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this