Proof complexity and SAT solving

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Handbook of Satisfiability
Subtitle of host publication	Second Edition
Publisher	IOS Press
Pages	233-350
Number of pages	118
ISBN (Electronic)	9781643681610
ISBN (Print)	9781643681603
DOIs	https://doi.org/10.3233/FAIA200990
Publication status	Published - 2021 May 5

Subject classification (UKÄ)

@inbook{e5ed752b55bf40c98818f18056a8ff4a,

title = "Proof complexity and SAT solving",

author = "Sam Buss and Jakob Nordstr{\"o}m",

year = "2021",

month = may,

day = "5",

doi = "10.3233/FAIA200990",

language = "English",

isbn = "9781643681603",

pages = "233--350",

booktitle = "Handbook of Satisfiability",

publisher = "IOS Press",

address = "Netherlands",

}