Proof of the Satisfiability Conjecture for Large k.

Jian Ding Allan Sly Nike Sun

Published in: STOC (2015)

Keyphrases

decision procedures
satisfiability problem
propositional logic
computational complexity
presburger arithmetic
data sets
np complete
theorem proving
terminological reasoning
database systems
reasoning problems
quantified boolean formulas