Local Symmetries in Propositional Logic.

Noriko H. Arai Alasdair Urquhart

Published in: TABLEAUX (2000)

Keyphrases

propositional logic
belief revision
first order logic
possibilistic logic
symmetry breaking
quantified boolean formulae
global constraints
propositional satisfiability
davis putnam
lattice theory
belief change
orders of magnitude
database design
satisfiability testing