A constructive investigation of satisfiability.

Francesco Ciraulo

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

satisfiability problem
phase transition
np complete
quantified boolean formulas
decision procedures
artificial intelligence
case study
computational complexity
special case
terminological reasoning
neural network
symmetry breaking
computational properties
propositional logic
expressive power
expert systems
website