Modeling Choices in Quasigroup Completion: SAT vs. CSP.

Carlos Ansótegui Alvaro del Val Iván Dotú Cèsar Fernández Felip Manyà

Published in: AAAI (2004)

Keyphrases

constraint satisfaction problems
satisfiability problem
sat encodings
search algorithm
backtracking search
search strategies
phase transition
constraint propagation
decomposition methods