Nicholas Downing

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 2

Top Topics

Unsatisfiable Cores

Constraint Programming

Top Venues

University of Melbourne, Australia (PHD)

Education History

University of Melbourne, Australia

PHD

Publications

Alexander Cloninger, Ronald R. Coifman, Nicholas Downing, Harlan M. Krumholz
Bigeometric Organization of Deep Nets. CoRR (2015)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Unsatisfiable Cores and Lower Bounding for Constraint Programming. CoRR (2015)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Unsatisfiable Cores for Constraint Programming CoRR (2013)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Explaining Flow-Based Propagation. CPAIOR (2012)
Nicholas Downing, Thibaut Feydy, Peter J. Stuckey
Explaining alldifferent. ACSC (2012)
Nicholas Downing, Peter J. Stuckey, Anthony Wirth
Improved consensus clustering via linear programming. ACSC (2010)