Ordered Resolution with Straight Dismatching Constraints.

Andreas Teucke Christoph Weidenbach

Published in: PAAR@IJCAR (2016)

Keyphrases

co occurrence
genetic algorithm
constraint satisfaction
constrained optimization
high resolution
geometric constraints
database
low resolution
constraint programming
global constraints
resource constraints
physical constraints
multiple constraints
ordered sets
consequence finding