Login / Signup
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