Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
Emilio GambaBart BogaertsTias GunsPublished in: J. Artif. Intell. Res. (2023)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- search space
- optimization problems
- global optimization
- weighted constraint satisfaction
- optimization algorithm
- phase transition
- optimization methods
- temporal constraints
- highly efficient
- optimization process
- constrained optimization
- lower bound
- query processing