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.
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 • 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.