Results for the 2024 MiniZinc Challenge have now been announced!
Peter J. Stuckey

Peter J. Stuckey

peter.stuckey@monash.edu
Monash University

Design of the MiniZinc language, lazy clause generation solvers, modelling interesting problems, developing and teaching Basic Modeling for Discrete Optimization (and other MOOCs).

Publications on MiniZinc by Peter J. Stuckey

  • Peter J. Stuckey, and Guido Tack. 2019.
    Compiling Conditional Constraints.
    Abstract
    Principles and Practice of Constraint Programming: 384—400. Springer International Publishing.
    https://doi.org/10.1007/978-3-030-30048-7_23
  • Gleb Belov, Peter J. Stuckey, Guido Tack, and Mark Wallace. 2016.
    Improved Linearization of Constraint Programming Models.
    Abstract
    Principles and Practice of Constraint Programming: 49—65. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-44953-1_4
  • Andrea Rendl, Tias Guns, Peter J. Stuckey, and Guido Tack. 2015.
    MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 376—392. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-23219-5_27
  • Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, and Peter J. Stuckey. 2015.
    Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 91—107. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-18008-3_7
  • Geoffrey Chu, and Peter J. Stuckey. 2015.
    Learning Value Heuristics for Constraint Programming.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 108—123. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-18008-3_8
  • Peter J. Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, and Julien Fischer. 2014.
    The MiniZinc Challenge 2008–2013.
    Abstract
    AI Magazine 35(2): 55-60.
    https://doi.org/10.1609/aimag.v35i2.2539
  • Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, and Mark Wallace. 2014.
    Modelling with Option Types in MiniZinc.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 88—103. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-07046-9_7
  • Geoffrey Chu, and Peter J. Stuckey. 2014.
    Nested Constraint Programs.
    Abstract
    Principles and Practice of Constraint Programming: 240—255. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-10428-7_19
  • Andrea Rendl, Guido Tack, and Peter J. Stuckey. 2014.
    Stochastic MiniZinc.
    Abstract
    Principles and Practice of Constraint Programming: 636—645. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-10428-7_46
  • Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, and Peter J. Stuckey. 2014.
    Local Search for a Cargo Assembly Planning Problem.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming: 159—175. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-07046-9_12
  • Roberto Amadini, and Peter J. Stuckey. 2014.
    Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers.
    Abstract
    Principles and Practice of Constraint Programming: 108—124. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-10428-7_11
  • Kathryn Francis, and Peter J. Stuckey. 2014.
    Loop Untangling.
    Abstract
    Principles and Practice of Constraint Programming: 340—355. Springer International Publishing.
    https://doi.org/10.1007/978-3-319-10428-7_26
  • Kathryn Glenn Francis, and Peter J. Stuckey. 2014.
    Explaining circuit propagation.
    Abstract
    Constraints 19(1): 1—29.
  • Peter J. Stuckey, and Guido Tack. 2013.
    MiniZinc with Functions.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 268—283. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-38171-3_18
  • Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter J. Stuckey. 2013.
    Search combinators.
    Abstract
    Constraints 18(2): 269—305.
  • Andreas Schutt, Thibaut Feydy, and Peter J. Stuckey. 2013.
    Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 234—250. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-38171-3_16
  • Geoffrey Chu, and Peter J. Stuckey. 2013.
    Dominance Driven Search.
    Abstract
    Principles and Practice of Constraint Programming: 217—229. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-40627-0_19
  • Kathryn Francis, Jorge Navas, and Peter J. Stuckey. 2013.
    Modelling Destructive Assignments.
    Abstract
    Principles and Practice of Constraint Programming: 315—330. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-40627-0_26
  • Andreas Schutt, Thibaut Feydy, and Peter J. Stuckey. 2013.
    Scheduling Optional Tasks with Explanation.
    Abstract
    Principles and Practice of Constraint Programming: 628—644. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-40627-0_47
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2013.
    Solving RCPSP/max by lazy clause generation.
    Abstract
    Journal of Scheduling 16(3): 273—289.
  • Rehan Abdul Aziz, Geoffrey Chu, and Peter J. Stuckey. 2013.
    Stable model semantics for founded bounds.
    Abstract
    Theory and Practice of Logic Programming 13(4-5): 517—532.
    https://doi.org/10.1017/S147106841300032X
  • Rafael Caballero, Peter J Stuckey, and Antonio Tenorio-Fornés. 2013.
    Finite Type Extensions in Constraint Programming.
    Abstract
    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming: 217–227. Association for Computing Machinery.
    https://doi.org/10.1145/2505879.2505905
  • Rehan Abdul Aziz, Peter J Stuckey, and Zoltan Somogyi. 2013.
    Inductive Definitions in Constraint Programming.
    Abstract
    Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135: 41–50. Australian Computer Society, Inc..
    https://doi.org/10.5555/2525401.2525406
  • Nicholas Downing, Thibaut Feydy, and Peter J. Stuckey. 2012.
    Explaining Flow-Based Propagation.
    Abstract
    Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems: 146—162. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-29828-8_10
  • Geoffrey Chu, and Peter J. Stuckey. 2012.
    Inter-instance Nogood Learning in Constraint Programming.
    Abstract
    Principles and Practice of Constraint Programming: 238—247. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-33558-7_19
  • Kathryn Francis, Sebastian Brand, and Peter J. Stuckey. 2012.
    Optimisation Modelling for Software Developers.
    Abstract
    Principles and Practice of Constraint Programming: 274—289. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-33558-7_22
  • Geoffrey Chu, and Peter J. Stuckey. 2012.
    A Generic Method for Identifying and Exploiting Dominance Relations.
    Abstract
    Principles and Practice of Constraint Programming: 6—22. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-33558-7_4
  • Geoffrey Chu, Maria Garcia de la Banda, and Peter J. Stuckey. 2012.
    Exploiting subproblem dominance in constraint programming.
    Abstract
    Constraints 17(1): 1—38.
  • Nicholas Downing, Thibaut Feydy, and Peter J. Stuckey. 2012.
    Explaining alldifferent.
    Abstract
    Conferences in Research and Practice in Information Technology Series 122: 115—124.
  • Geoffrey Chu, and Peter J. Stuckey. 2012.
    A complete solution to the Maximum Density Still Life Problem.
    Abstract
    Artificial Intelligence 184-185: 1—16.
  • Thibaut Feydy, Zoltan Somogyi, and Peter J. Stuckey. 2011.
    Half Reification and Flattening.
    Abstract
    Principles and Practice of Constraint Programming – CP 2011: 286—301. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-23786-7_23
  • Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter J. Stuckey. 2011.
    Search Combinators.
    Abstract
    Principles and Practice of Constraint Programming – CP 2011: 774—788. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-23786-7_58
  • Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, and Sebastian Brand. 2011.
    Dantzig-Wolfe decomposition and branch-and-price solving in G12.
    Abstract
    Constraints 16(1): 77—99.
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2011.
    Explaining the cumulative propagator.
    Abstract
    Constraints 16(3): 250—282.
  • Geoffrey Chu, Maria Garcia de la Banda, and Peter J. Stuckey. 2010.
    Automatically Exploiting Subproblem Equivalence in Constraint Programming.
    Abstract
    Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 71—86. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-13520-0_10
  • Peter J. Stuckey, Ralph Becket, and Julien Fischer. 2010.
    Philosophy of the MiniZinc challenge.
    Abstract
    Constraints 15(3): 307—316.
  • Alan M. Frisch, and Peter J. Stuckey. 2009.
    The Proper Treatment of Undefinedness in Constraint Languages.
    Abstract
    Principles and Practice of Constraint Programming - CP 2009: 367—382. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-04244-7_30
  • Thibaut Feydy, and Peter J. Stuckey. 2009.
    Lazy Clause Generation Reengineered.
    Abstract
    Principles and Practice of Constraint Programming - CP 2009: 352—366. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-04244-7_29
  • Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, and Mark G. Wallace. 2009.
    Why Cumulative Decomposition Is Not as Bad as It Sounds.
    Abstract
    Principles and Practice of Constraint Programming - CP 2009: 746—761. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-642-04244-7_58
  • Sebastian Brand, Gregory J. Duck, Jakob Puchinger, and Peter J. Stuckey. 2008.
    Flexible, Rule-Based Constraint Model Linearisation.
    Abstract
    Practical Aspects of Declarative Languages: 68—83. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-540-77442-6_6
  • Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, and Mark Wallace. 2008.
    The Design of the Zinc Modelling Language.
    Abstract
    Constraints 13(3): 229—267.
  • Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, and Guido Tack. 2007.
    MiniZinc: Towards a Standard CP Modelling Language.
    Abstract
    Principles and Practice of Constraint Programming – CP 2007: 529—543. Springer Berlin Heidelberg.
    https://doi.org/10.1007/978-3-540-74970-7_38