The Complexity of Homomorphisms of Signed Graphs and Signed Constraint Satisfaction.
Florent FoucaudReza NaserasrPublished in: LATIN (2014)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- heuristic search
- graph theory
- phase transition
- constraint propagation
- constraint solving
- relaxation labeling
- probabilistic reasoning
- constraint relaxation
- arc consistency
- combinatorial problems
- soft constraints
- constraint networks
- constraint problems
- russian doll search
- product configuration
- max csp
- robust fault detection
- space complexity
- simulated annealing
- sat problem
- non binary
- constrained problems
- constraint optimization
- sat solvers
- computational complexity