Login / Signup
DPLL-based Procedure for Equality Logic with Uninterpreted Functions.
Olga Tveretin
Published in:
IJCAR Doctoral Programme (2004)
Keyphrases
</>
proof procedure
theorem proving
propositional logic
davis putnam
np complete
first order logic
multi valued
logic programming
basis functions
classical logic
modal logic
satisfiability problem
automated reasoning
predicate calculus