Login / Signup
Encoding industrial hardware verification problems into effectively propositional logic.
Moshe Emmer
Zurab Khasidashvili
Konstantin Korovin
Andrei Voronkov
Published in:
FMCAD (2010)
Keyphrases
</>
propositional logic
satisfiability testing
first order logic
propositional satisfiability
belief revision
propositional formulas
optimization problems
np complete
quantified boolean formulae
search space
decision problems
belief change
lattice theory