Classification of Bipartite Boolean Constraint Satisfaction through Delta-Matroid Intersection.
Tomás FederDaniel K. FordPublished in: SIAM J. Discret. Math. (2006)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- real valued
- constraint programming
- constraint propagation
- constraint relaxation
- heuristic search
- probabilistic reasoning
- constraint solving
- arc consistency
- phase transition
- machine learning
- robust fault detection
- relaxation labeling
- neural network
- np complete
- max csp
- constraint networks
- constraint optimization
- np hard
- evolutionary algorithm
- backtracking algorithms
- forward checking
- constraint problems
- product configuration
- bipartite graph
- upper bound
- combinatorial problems
- decision support
- greedy algorithm
- sat solvers