Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.

Emilio Gamba Bart Bogaerts Tias Guns

Published in: CoRR (2021)

Keyphrases

constraint satisfaction problems
optimization problems
optimization algorithm
global optimization
phase transition
constraint propagation
optimization method
highly efficient
non binary
hypertree decomposition
weighted constraint satisfaction
search space
orders of magnitude