Propositional Logic for Circuit Classes.

Klaus Aehlig Arnold Beckmann

Published in: CSL (2007)

Keyphrases

propositional logic
belief revision
first order logic
quantified boolean formulae
lattice theory
satisfiability testing
possibilistic logic
proof procedure
belief change
valued logic
search algorithm
expert systems
data model
orders of magnitude
davis putnam