Conflict-Driven clause learning SAT solvers

Joao Marques-Silva, Ines Lynce, Sharad Malik

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English (US)
Title of host publication	Handbook of Satisfiability
Subtitle of host publication	Second Edition
Publisher	IOS Press
Pages	133-182
Number of pages	50
ISBN (Electronic)	9781643681610
ISBN (Print)	9781643681603
DOIs	https://doi.org/10.3233/FAIA200987
State	Published - May 5 2021

All Science Journal Classification (ASJC) codes

@inbook{a6df2f3aa33a46adae637c48d83ca25a,

title = "Conflict-Driven clause learning SAT solvers",

author = "Joao Marques-Silva and Ines Lynce and Sharad Malik",

year = "2021",

month = may,

day = "5",

doi = "10.3233/FAIA200987",

language = "English (US)",

isbn = "9781643681603",

pages = "133--182",

booktitle = "Handbook of Satisfiability",

publisher = "IOS Press",

address = "Netherlands",

}

TY - CHAP

T1 - Conflict-Driven clause learning SAT solvers

AU - Marques-Silva, Joao

AU - Lynce, Ines

AU - Malik, Sharad

PY - 2021/5/5

Y1 - 2021/5/5

UR - http://www.scopus.com/inward/record.url?scp=85109060086&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85109060086&partnerID=8YFLogxK

U2 - 10.3233/FAIA200987

DO - 10.3233/FAIA200987

M3 - Chapter

AN - SCOPUS:85109060086

SN - 9781643681603

SP - 133

EP - 182

BT - Handbook of Satisfiability

PB - IOS Press

ER -