Login / Signup
Heuristics for Resolution in Propositional Logic.
Manfred Kerber
Published in:
KI (2009)
Keyphrases
</>
propositional logic
propositional satisfiability
valued logic
solving hard
first order logic
belief revision
quantified boolean formulae
clause learning
lattice theory
possibilistic logic
belief change
proof procedure
np hard
davis putnam
artificial intelligence
satisfiability testing
machine learning