Proof complexity and SAT solving

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Kapitel samlingsverk › Forskning › Peer review

Originalspråk	engelska
Titel på värdpublikation	Handbook of Satisfiability
Undertitel på värdpublikation	Second Edition
Förlag	IOS Press
Sidor	233-350
Antal sidor	118
ISBN (elektroniskt)	9781643681610
ISBN (tryckt)	9781643681603
DOI	https://doi.org/10.3233/FAIA200990
Status	Published - 2021 maj 5

Ämnesklassifikation (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",

}