A Resolution Principle for Clauses with Constraints.

Hans-Jürgen Bürckert

Published in: CADE (1990)

Keyphrases

consequence finding
search space
low resolution
first order logic
constraint satisfaction
genetic algorithm
high quality
high resolution
orders of magnitude
resource constraints
clause learning