Equivalence and Isomorphism for Boolean Constraint Satisfaction.

Elmar Böhler Edith Hemaspaandra Steffen Reith Heribert Vollmer

Published in: CSL (2002)

Keyphrases

constraint satisfaction
constraint satisfaction problems
decision diagrams
boolean functions
heuristic search
constraint propagation
russian doll search

probabilistic reasoning
sat solvers
constraint relaxation
phase transition
constraint solving
relaxation labeling
soft constraints

constraint problems
product configuration
combinatorial problems
machine learning
multi valued
arc consistency

expert systems
constraint programming
learning algorithm
np hard
genetic algorithm
linear programming