Conflict-Driven clause learning SAT solvers

Joao Marques-Silva, Ines Lynce, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingChapter

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

All Science Journal Classification (ASJC) codes

  • General Computer Science

Cite this