Automated streamliner portfolios for constraint satisfaction problems.
Patrick SpracklenNguyen DangÖzgür AkgünIan MiguelPublished in: Artif. Intell. (2023)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- search space
- constraint programming
- constraint propagation
- non binary
- np complete
- constraint solving
- np hard
- arc consistency
- computational problems
- combinatorial problems
- constraint networks
- global constraints
- constraint optimization
- decomposition methods
- reasoning problems
- arithmetic constraints
- tractable subclasses
- disjunctive temporal
- computational complexity
- sat solvers
- heuristic search
- special case
- constraint problems
- constraint solver
- finite domain
- forward checking
- finding optimal solutions