Classification of Bipartite Boolean Constraint Satisfaction through Delta-Matroid Intersection
Tomás FederDaniel K. FordPublished in: Electron. Colloquium Comput. Complex. (2005)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- real valued
- constraint programming
- constraint relaxation
- phase transition
- constraint propagation
- heuristic search
- product configuration
- russian doll search
- relaxation labeling
- soft constraints
- arc consistency
- constraint solving
- sat solvers
- machine learning
- combinatorial problems
- constrained problems
- max csp
- robust fault detection
- constraint networks
- constraint problems
- constraint optimization
- search strategies