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 • 1 Jul 2015 • Alexander Cloninger, Ronald R. Coifman, Nicholas Downing, Harlan M. Krumholz
In this paper, we build an organization of high-dimensional datasets that cannot be cleanly embedded into a low-dimensional representation due to missing entries and a subset of the features being irrelevant to modeling functions of interest.
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.