On Narrowing, Refutation Proofs and Constraints.

Robert Nieuwenhuis

Published in: RTA (1995)

Keyphrases

theorem proving
theorem prover
automated theorem proving
constraint satisfaction
constrained optimization
real time
case study
data structure
pairwise
search space
co occurrence
equational theories