Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
Emilio GambaBart BogaertsTias GunsPublished in: IJCAI (2021)
Keyphrases
- constraint satisfaction problems
- optimization algorithm
- optimization method
- optimization process
- search space
- global optimization
- constraint satisfaction
- optimization methods
- constraint propagation
- constrained optimization
- search algorithm
- lower bound
- relational databases
- optimization problems
- phase transition
- weighted constraint satisfaction