Proof complexity and SAT solving
(2021) p.233-350
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/e5ed752b-55bf-40c9-8818-f18056a8ff4a
- author
- Buss, Sam and Nordström, Jakob LU
- organization
- publishing date
- 2021-05-05
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- Handbook of Satisfiability : Second Edition - Second Edition
- pages
- 118 pages
- publisher
- IOS Press
- external identifiers
-
- scopus:85109060194
- ISBN
- 9781643681610
- 9781643681603
- DOI
- 10.3233/FAIA200990
- language
- English
- LU publication?
- yes
- id
- e5ed752b-55bf-40c9-8818-f18056a8ff4a
- date added to LUP
- 2021-08-23 08:52:54
- date last changed
- 2025-04-06 19:41:44
@inbook{e5ed752b-55bf-40c9-8818-f18056a8ff4a,
author = {{Buss, Sam and Nordström, Jakob}},
booktitle = {{Handbook of Satisfiability : Second Edition}},
isbn = {{9781643681610}},
language = {{eng}},
month = {{05}},
pages = {{233--350}},
publisher = {{IOS Press}},
title = {{Proof complexity and SAT solving}},
url = {{http://dx.doi.org/10.3233/FAIA200990}},
doi = {{10.3233/FAIA200990}},
year = {{2021}},
}