The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory.
Tomás FederMoshe Y. VardiPublished in: SIAM J. Comput. (1998)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- deductive databases
- constraint programming
- constraint relaxation
- heuristic search
- phase transition
- constraint propagation
- relaxation labeling
- constraint solving
- integrity constraints
- boolean functions
- probabilistic reasoning
- non binary
- robust fault detection