On Finding Minimally Unsatisfiable Cores of CSPS.

Éric Grégoire Bertrand Mazure Cédric Piette

Published in: Int. J. Artif. Intell. Tools (2008)

Keyphrases

unsatisfiable cores
constraint satisfaction problems
constraint satisfaction
search space
hidden structure
decision problems
max sat
symmetry breaking