A (Biased) Proof Complexity Survey for SAT Practitioners.

Jakob Nordström

Published in: SAT (2014)

Keyphrases

information systems
theorem proving
cutting edge
high quality
computational complexity
worst case
data collection
data sets
real world
case study
np complete
decision problems
satisfiability problem
space complexity
policy makers