Login / Signup
Loop Calculus for Satisfiability.
Lukas Kroc
Michael Chertkov
Published in:
AAAI (2008)
Keyphrases
</>
satisfiability problem
propositional logic
np complete
proof procedure
phase transition
computational properties
sat problem
terminological reasoning
sat solving
learning algorithm
data sets
decision procedures
formal language
constraint satisfaction
computer algebra
satisfiability testing
neural network