Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups.

Guillem Godoy Robert Nieuwenhuis

Published in: Constraints An Int. J. (2004)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint solver
knowledge base
np hard
mobile robot
linear programming
global constraints