Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples).

Emilio Gamba Bart Bogaerts Tias Guns

Published in: CoRR (2023)

Keyphrases

optimization problems
discrete optimization
combinatorial optimization
optimization algorithm
data structure
significant improvement
constraint satisfaction problems
highly efficient
computational cost
computationally efficient
optimization methods
optimization approaches