Department of Computing and Information Systems, The Melbourne School of Engineering
Intelligent Agent Laboratory

Publications about 'optimisation'

Journal Articles and Chapters

1. Maria Garcia de la Banda, Peter J. Stuckey, and Geoffrey Chu. Solving Talent Scheduling with Dynamic Programming.. INFORMS Journal on Computing, 23(1):120-137, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]



2. Graeme Gange, Peter J. Stuckey, and Radoslaw Szymanek. MDD propagators with explanation. Constraints, 16(4):407-429, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]



3. Graeme Gange, Peter J. Stuckey, and Vitaly Lagoon. Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. (JAIR), 38:307-338, 2010.
   Keywords: agentlab, optimisation. [bibtex-entry]



4. Andreas Schutt and Peter J. Stuckey. Incremental Satisfiability and Implication for UTVPI Constraints.. INFORMS Journal on Computing, 22(4):514-527, 2010.
   Keywords: agentlab, optimisation. [bibtex-entry]



5. Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, and Anthony Wirth. Lock-free parallel dynamic programming.. J. Parallel Distrib. Comput., 70(8):(8):839-848, 2010.
   Keywords: agentlab, optimisation. [bibtex-entry]



6. Peter J. Stuckey. Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008).. Constraints, 15(2):149-150, 2010.
   Keywords: agentlab, optimisation. [bibtex-entry]

Conference Proceedings

1. Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, and Christopher Mears. Symmetries and Lazy Clause Generation. In International Joint Conference on Artificial Intelligence (IJCAI), pages 516-521, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]



2. Thibaut Feydy, Zoltan Somogyi, and Peter J. Stuckey. Half Reification and Flattening. In Constraint Programming (CP 2011), pages 286-301, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]



3. Amit Metodi, Michael Codish, Vitaly Lagoon, and Peter J. Stuckey. Boolean Equi-propagation for Optimized SAT Encoding. In Constraint Programming (CP 2011), pages 621-636, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]



4. Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, and Peter J. Stuckey. Search Combinators. In Constraint Programming (CP 2011), pages 774-788, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]



5. Andreas Schutt, Peter J. Stuckey, and Andrew R. Verden. Optimal Carpet Cutting. In Constraint Programming (CP 2011), pages 69-84, 2011.
   Keywords: agentlab, optimisation. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.