Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Proof complexity and SAT solving

Buss, Sam and Nordström, Jakob LU (2021) p.233-350
Please use this url to cite or link to this publication:
author
and
organization
publishing date
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
2024-03-23 08:11:13
@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}},
}