RPO Constraint Solving Is in NP.

Paliath Narendran Michaël Rusinowitch Rakesh M. Verma

Published in: CSL (1998)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction problems
constraint logic programming
np complete
constraint satisfaction
computational complexity
constraint solver
np hard
constraint programming
database
finite domain
constraint solvers
knowledge base
evolutionary algorithm