Constraint Composite Graph-Based Weighted CSP Solvers: An Empirical Study.
Orazio RilloT. K. Satish KumarPublished in: FLAIRS (2024)
Keyphrases
- constraint problems
- constraint satisfaction problems
- constraint solver
- constraint solvers
- constraint solving
- constraint graph
- constraint programming
- graph model
- global constraints
- constraint propagation
- constraint satisfaction
- soft constraints
- constraint networks
- disjunctive temporal
- finite domain
- backtracking search
- arc consistency
- sat encodings
- combinatorial problems
- randomly generated
- arc consistency algorithm
- semi supervised
- decomposition methods
- hard constraints
- linear constraints
- search space
- weighted sum
- sat solvers
- tree decomposition
- np complete
- np hard