Peter J. Stuckey's Publication List

(Always out of date)

In Press

  • Daniel Harabor and Peter J. Stuckey. Forward search in contraction hierarchies. In Proceedings of the 11th Annual Symposium on Combinatorial Search, page to appear. AAAI, 2018.
  • Graeme Gange and Peter J. Stuckey. Sequential precede chain for value symmetry elimination. In John Hooker, editor, Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, LNCS, page to appear, 2018.
  • Emir Demirovic, Geoffrey Chu, and Peter J. Stuckey. Solution-based phase saving and large neighbourhood search. In John Hooker, editor, Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, LNCS, page to appear, 2018.
  • Jip J. Dekker, Maria Garcia De La Banda, Andreas Schutt, Peter J. Stuckey, and Guido Tack. Solver-independent large neighbourhood search. In John Hooker, edi- tor, Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, LNCS, page to appear, 2018.
  • Roberto Amadini, Graeme Gange, and Peter J. Stuckey. Propagating regular mem- bership with dashed strings. In John Hooker, editor, Proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, LNCS, page to appear, 2018.
  • Michelle Blom, Adrian R. Pearce, and Peter J. Stuckey. Short-term planning for open pit mines: A review. International Journal of Mining, Reclamation and Environment, page to appear, 2018.
  • Michelle Blom, Adrian R. Pearce, and Peter J. Stuckey. Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm. Engineering Optimization, 2018.
  • Emir Demirovic, Nysret Musliu, Peter J. Stuckey, and Felix Winter. Solution-based phase saving and maxsat for employee scheduling: A computational study. In Proceedings of PATAT2018, LNCS, page to appear. Springer, 2018.

    Books Authored

    Books Edited

    Book Chapters

    Journal Publications

    Invited Conference Publications

    Conference Publications

    Technical Reports