Login / Signup
Completion of Rewrite Systems with Membership Constraints. Part II: Constraint Solving.
Hubert Comon
Published in:
J. Symb. Comput. (1998)
Keyphrases
</>
constraint solving
rewrite systems
knuth bendix
constraint logic programming
constraint propagation
constraint solver
constraint satisfaction
constraint satisfaction problems
constraint programming
term rewriting
knowledge base
quantifier free
constraint solvers
computational complexity
np hard