Partial Lazy Forward Checking for MAX-CSP.

Javier Larrosa Pedro Meseguer

Published in: ECAI (1998)

Keyphrases

max csp
arc consistency
forward checking
maintaining arc consistency
constraint satisfaction
constraint satisfaction problems
constraint programming
space complexity
constraint propagation
soft constraints
constraint networks
non binary
conflict directed
lower bound
genetic programming