-clauses with disequalities.

Helmut Seidl Andreas Reuß

Published in: Inf. Process. Lett. (2011)

Keyphrases

search space
horn clauses
consequence finding
first order logic
background knowledge
boolean formulae
learning algorithm
constraint satisfaction
theorem proving
proof search