On The Computational Consequences of Independence in Propositional Logic.

Merlijn Sevenster

Published in: Synth. (2006)

Keyphrases

propositional logic
first order logic
belief revision
lattice theory
davis putnam
possibilistic logic
quantified boolean formulae
horn logic
mathematical programming
belief change
optimal solution
lower bound
propositional formulas