Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.

Iván Dotú Alvaro del Val Manuel Cebrián

Published in: IJCAI (2003)

Keyphrases

knuth bendix
multiple constraints
case study
constrained optimization
database
np complete
constraint satisfaction
artificial intelligence
computer vision
decision making
special case
markov random field
geometric constraints
ordering constraints
function symbols
constraint sets