no code implementations • 25 Aug 2015 • Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
We adapt the original MAXSAT unsatisfiable core solving approach to be usable for constraint programming and define a number of extensions.
no code implementations • 8 May 2013 • Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Since Lazy Clause Generation (LCG) solvers can also return unsatisfiable cores we can adapt the MAXSAT unsatisfiable core approach to CP.