Publications

of Marža Garcža de la Banda

Books and proceedings

  1. M. Garcža de la Banda and E. Pontelli, editors. ICLP08l, volume 5366 of LNCS, December 2008. SV. [doi:10.1007/978-3-540-89982-2]

Articles in journal, book chapters

  1. Elvira Albert, Marža Garcža de la Banda, Miguel Gůmez-Zamalloa, Josť Miguel Rojas, and Peter J. Stuckey. A CLP heap solver for test case generation. In Evelina Lamma and Terrance Swift, editors, ICLP13l, volume 13(4--5) of TPLP, pages 721-735. CUP, August 2013. [PDF]
  2. Christian Holzbaur, Marža Garcža de la Banda, Peter J. Stuckey, and Gregory J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. In Slim Abdennadher, Thom FrŁhwirth, and Christian Holzbaur, editors, Special Issue on Constraint Handling Rules, volume 5(4--5) of Theory and Practice of Logic Programming, pages 503-531. CUP, July 2005. [doi:10.1017/S1471068405002413] Keyword(s): implementation, optimizing compilation.

Conference articles

  1. Gregory J. Duck, Peter J. Stuckey, and Marža Garcža de la Banda. Compiling Ask Constraints. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 105-119, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): implementation.
  2. Gregory J. Duck, Peter J. Stuckey, Marža Garcža de la Banda, and Christian Holzbaur. The Refined Operational Semantics of Constraint Handling Rules. In B. Demoen and V. Lifschitz, editors, ICLP04l, volume 3132 of LNCS, pages 90-104, September 2004. SV. ISBN: 978-3-540-22671-0. [doi:10.1007/b99475] Keyword(s): semantics, implementation.
  3. Gregory J. Duck, Peter J. Stuckey, Marža Garcža de la Banda, and Christian Holzbaur. Extending arbitrary solvers with Constraint Handling Rules. In PPDP03, pages 79-90, 2003. ACM. ISBN: 1-58113-705-2. Keyword(s): implementation.

BACK TO INDEX