Login / Signup
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
Randal E. Bryant
Steven M. German
Miroslav N. Velev
Published in:
CoRR (1999)
Keyphrases
</>
propositional logic
lattice theory
satisfiability testing
nonmonotonic logics
horn logic
proof procedure
first order logic
possibilistic logic
belief revision
quantified boolean formulae
multi valued
valued logic
minimal models
logic programming
propositional variables
search algorithm
query language