Skip past navigation to main part of page
 
Faculties : A-Z Directory : Library
--- Back to publication index

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]



Back to publication index



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.

Bibliography last modified: Tue Aug 21 12:15:11 2012 translated from BibTEX by bibtex2html
top of pagetop of page

Contact us

Contact the University : Disclaimer & Copyright : Privacy : Accessibility