Search Results for author: Nicholas Downing

Found 3 papers, 0 papers with code

Unsatisfiable Cores and Lower Bounding for Constraint Programming

no code implementations25 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.

Bigeometric Organization of Deep Nets

no code implementations1 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.

Unsatisfiable Cores for Constraint Programming

no code implementations8 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.