Kafle, Bishoksan; Gange, Graeme; Stuckey, Peter J.; Schachte, Peter; Søndergaard, Harald Transformation-enabled precondition inference. (English) Zbl 07776322 Theory Pract. Log. Program. 21, No. 6, 700-716 (2021). MSC: 68N30 03B70 68N17 68Q60 PDFBibTeX XMLCite \textit{B. Kafle} et al., Theory Pract. Log. Program. 21, No. 6, 700--716 (2021; Zbl 07776322) Full Text: DOI arXiv
Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. An iterative approach to precondition inference using constrained Horn clauses. (English) Zbl 1451.68075 Theory Pract. Log. Program. 18, No. 3-4, 553-570 (2018). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{B. Kafle} et al., Theory Pract. Log. Program. 18, No. 3--4, 553--570 (2018; Zbl 1451.68075) Full Text: DOI arXiv
Gange, Graeme; Navas, Jorge A.; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. Horn clauses as an intermediate representation for program analysis and transformation. (English) Zbl 1379.68089 Theory Pract. Log. Program. 15, No. 4-5, 526-542 (2015). MSC: 68N20 68N17 PDFBibTeX XMLCite \textit{G. Gange} et al., Theory Pract. Log. Program. 15, No. 4--5, 526--542 (2015; Zbl 1379.68089) Full Text: DOI arXiv
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark G.; Brand, Sebastian Dantzig-Wolfe decomposition and branch-and-price solving in G12. (English) Zbl 1213.90174 Constraints 16, No. 1, 77-99 (2011). MSC: 90C05 90C57 90-04 PDFBibTeX XMLCite \textit{J. Puchinger} et al., Constraints 16, No. 1, 77--99 (2011; Zbl 1213.90174) Full Text: DOI HAL
Schrijvers, Tom; Stuckey, Peter; Wadler, Philip Monadic constraint programming. (English) Zbl 1184.68166 J. Funct. Program. 19, No. 6, 663-697 (2009). MSC: 68N18 PDFBibTeX XMLCite \textit{T. Schrijvers} et al., J. Funct. Program. 19, No. 6, 663--697 (2009; Zbl 1184.68166) Full Text: DOI
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael Propagation via lazy clause generation. (English) Zbl 1192.68654 Constraints 14, No. 3, 357-391 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{O. Ohrimenko} et al., Constraints 14, No. 3, 357--391 (2009; Zbl 1192.68654) Full Text: DOI
De Koninck, Leslie; Duck, Gregory J.; Stuckey, Peter J. Demand-driven normalisation for ACD term rewriting. (English) Zbl 1251.68123 Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 484-488 (2009). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. De Koninck} et al., Lect. Notes Comput. Sci. 5649, 484--488 (2009; Zbl 1251.68123) Full Text: DOI
Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. Cadmium: an implementation of ACD term rewriting. (English) Zbl 1185.68137 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 531-545 (2008). MSC: 68N15 PDFBibTeX XMLCite \textit{G. J. Duck} et al., Lect. Notes Comput. Sci. 5366, 531--545 (2008; Zbl 1185.68137) Full Text: DOI
Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark The design of the zinc modelling language. (English) Zbl 1146.68352 Constraints 13, No. 3, 229-267 (2008). MSC: 68N15 PDFBibTeX XMLCite \textit{K. Marriott} et al., Constraints 13, No. 3, 229--267 (2008; Zbl 1146.68352) Full Text: DOI
Puchinger, Jakob; Stuckey, Peter J.; Wallace, Mark; Brand, Sebastian From high-level model to branch-and-price solution in G12. (English) Zbl 1142.90503 Perron, Laurent (ed.) et al., Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 5th international conference, CPAIOR 2008 Paris, France, May 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68154-0/pbk). Lecture Notes in Computer Science 5015, 218-232 (2008). MSC: 90C57 90C27 90C90 PDFBibTeX XMLCite \textit{J. Puchinger} et al., Lect. Notes Comput. Sci. 5015, 218--232 (2008; Zbl 1142.90503) Full Text: DOI HAL
Sulzmann, Martin; Stuckey, Peter J. \(\mathrm{HM}(X)\) type inference is \(\mathrm{CLP}(X)\) solving. (English) Zbl 1142.68021 J. Funct. Program. 18, No. 2, 251-283 (2008). MSC: 68N18 PDFBibTeX XMLCite \textit{M. Sulzmann} and \textit{P. J. Stuckey}, J. Funct. Program. 18, No. 2, 251--283 (2008; Zbl 1142.68021) Full Text: DOI
Ohrimenko, Olga; Stuckey, Peter J.; Codish, Michael Propagation = lazy clause generation. (English) Zbl 1145.68527 Bessière, Christian (ed.), Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 544-558 (2007). MSC: 68T20 PDFBibTeX XMLCite \textit{O. Ohrimenko} et al., Lect. Notes Comput. Sci. 4741, 544--558 (2007; Zbl 1145.68527) Full Text: DOI
Ross, Kenneth A.; Srivastava, Divesh; Stuckey, Peter J.; Sudarshan, S. Foundations of aggregation constraints. (English) Zbl 0896.68047 Theor. Comput. Sci. 193, No. 1-2, 149-179 (1998). MSC: 68P15 68N17 PDFBibTeX XMLCite \textit{K. A. Ross} et al., Theor. Comput. Sci. 193, No. 1--2, 149--179 (1998; Zbl 0896.68047) Full Text: DOI
Kemp, David B.; Srivastava, Divesh; Stuckey, Peter J. Bottom-up evaluation and query optimization of well-founded models. (English) Zbl 0873.68032 Theor. Comput. Sci. 146, No. 1-2, 145-184 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{D. B. Kemp} et al., Theor. Comput. Sci. 146, No. 1--2, 145--184 (1995; Zbl 0873.68032) Full Text: DOI
Maher, Michael J.; Stuckey, Peter J. On inductive inference of cyclic structures. (English) Zbl 0855.68023 Ann. Math. Artif. Intell. 15, No. 2, 167-208 (1995). MSC: 68P05 68N17 PDFBibTeX XMLCite \textit{M. J. Maher} and \textit{P. J. Stuckey}, Ann. Math. Artif. Intell. 15, No. 2, 167--208 (1995; Zbl 0855.68023) Full Text: DOI
Jaffar, Joxan; Maher, Michael J.; Stuckey, Peter J.; Yap, Roland H. C. Projecting CLP(\({\mathcal R}\)) constraints. (English) Zbl 0780.68013 New Generation Comput. 11, No. 3-4, 449-469 (1993). MSC: 68N17 PDFBibTeX XMLCite \textit{J. Jaffar} et al., New Generation Comput. 11, No. 3--4, 449--469 (1993; Zbl 0780.68013) Full Text: DOI
Kanchanasut, Kanchana; Stuckey, Peter J. Transforming normal logic programs to constraint logic programs. (English) Zbl 0757.68029 Theor. Comput. Sci. 105, No. 1, 27-56 (1992). Reviewer: K.Kanchanasut MSC: 68N17 68Q60 PDFBibTeX XMLCite \textit{K. Kanchanasut} and \textit{P. J. Stuckey}, Theor. Comput. Sci. 105, No. 1, 27--56 (1992; Zbl 0757.68029) Full Text: DOI
Kanchanasut, Kanchana; Stuckey, Peter Eliminating negation from normal logic programs. (English) Zbl 1493.68071 Kirchner, Hélène (ed.) et al., Algebraic and logic programming. Second international conference, Nancy, France, October 1–3, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 463, 217-231 (1990). MSC: 68N17 PDFBibTeX XMLCite \textit{K. Kanchanasut} and \textit{P. Stuckey}, Lect. Notes Comput. Sci. 463, 217--231 (1990; Zbl 1493.68071) Full Text: DOI
Jaffar, Joxan; Stuckey, Peter J. Semantics of infinite tree logic programming. (English) Zbl 0621.68054 Theor. Comput. Sci. 46, 141-158 (1986). Reviewer: G.Mints MSC: 68T15 68N01 PDFBibTeX XMLCite \textit{J. Jaffar} and \textit{P. J. Stuckey}, Theor. Comput. Sci. 46, 141--158 (1986; Zbl 0621.68054) Full Text: DOI