Login / Signup
ECR: An Equality Conditional Resolution Proof Procedure.
Tie-Cheng Wang
Published in:
CADE (1986)
Keyphrases
</>
proof procedure
theorem proving
clause learning
propositional logic
first order logic
predicate calculus
abductive logic programming
proof procedures
model theoretic
sat solvers
fixpoint
propositional satisfiability
automated reasoning
decision procedures
integrity constraints
industrial applications