% csauthors.net - beta - BibTeX bibliography of Peter J. Stuckey
@inproceedings{conf/iclp/JaffarS86,
title = {Logic Program Semantics for Programming with Equations.},
year = {1986},
booktitle = {ICLP},
author = {{Joxan Jaffar} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings}
}
@article{journals/jlp/JaffarS86,
title = {Canonical Logic Programs.},
year = {1986},
journal = {J. Log. Program.},
author = {{Joxan Jaffar} and {Peter J. Stuckey}}
}
@article{journals/tcs/JaffarS86,
title = {Semantics of Infinite Tree Logic Programming.},
year = {1986},
journal = {Theor. Comput. Sci.},
author = {{Joxan Jaffar} and {Peter J. Stuckey}}
}
@inproceedings{conf/slp/HeintzeMSY89,
title = {On Meta-Programming in CLR(R).},
year = {1989},
booktitle = {NACLP},
author = {{Nevin Heintze} and {Spiro Michaylov} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes}
}
@inproceedings{conf/slp/MaherS89,
title = {Expanding Query Power in Constraint Logic Programming Languages.},
year = {1989},
booktitle = {NACLP},
author = {{Michael J. Maher} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes}
}
@article{journals/acj/CrossleyLS89,
title = {Interface Logic Programming.},
year = {1989},
journal = {Aust. Comput. J.},
author = {{John N. Crossley} and {Pierre Lim} and {Peter J. Stuckey}}
}
@inproceedings{conf/alp/KanchanasutS90,
title = {Eliminating Negation from Normal Logic Programs.},
year = {1990},
booktitle = {ALP},
author = {{Kanchana Kanchanasut} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings}
}
@inproceedings{conf/plilp/LimS90,
title = {A Constraint Logic Programming Shell.},
year = {1990},
booktitle = {PLILP},
author = {{Pierre Lim} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings}
}
@inproceedings{conf/slp/LimS90,
title = {Meta Programming as Constraint Programming.},
year = {1990},
booktitle = {NACLP},
author = {{Pierre Lim} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990}
}
@inproceedings{conf/compcon/JaffarMSY91,
title = {The CLP(R) language and system: an overview.},
year = {1991},
booktitle = {Compcon},
author = {{Joxan Jaffar} and {Spiro Michaylov} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {IEEE Computer Society},
booktitle = {Compcon Spring '91, San Francisco, California, USA, February 25 - March 1, 1991. Digest of Papers}
}
@inproceedings{conf/icde/VaghaniRKSS91,
title = {Design Overview of the Aditi Deductive Database System.},
year = {1991},
booktitle = {ICDE},
author = {{Jayen Vaghani} and {Kotagiri Ramamohanarao} and {David B. Kemp} and {Zoltan Somogyi} and {Peter J. Stuckey}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Seventh International Conference on Data Engineering, April 8-12, 1991, Kobe, Japan}
}
@inproceedings{conf/lics/Stuckey91,
title = {Constructive Negation for Constraint Logic Programming},
year = {1991},
booktitle = {LICS},
author = {{Peter J. Stuckey}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), Amsterdam, The Netherlands, July 15-18, 1991}
}
@inproceedings{conf/slp/KempS91,
title = {Semantics of Logic Programs with Aggregates.},
year = {1991},
booktitle = {ISLP},
author = {{David B. Kemp} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991}
}
@inproceedings{conf/slp/KempSS91,
title = {Magic Sets and Bottom-Up Evaluation of Well-Founded Models.},
year = {1991},
booktitle = {ISLP},
author = {{David B. Kemp} and {Divesh Srivastava} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991}
}
@article{journals/acj/VaghaniKS91,
title = {An Introduction to Aditi Deductive Database System.},
year = {1991},
journal = {Aust. Comput. J.},
author = {{Jayen Vaghani} and {David B. Kemp} and {Peter J. Stuckey}}
}
@article{journals/informs/Stuckey91,
title = {Incremental Linear Constraint Solving and Detection of Implicit Equalities.},
year = {1991},
journal = {INFORMS J. Comput.},
author = {{Peter J. Stuckey}}
}
@inproceedings{conf/fgcs/JaffarMSY92,
title = {Output in CLP.},
year = {1992},
booktitle = {FGCS},
author = {{Joxan Jaffar} and {Michael J. Maher} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {IOS Press},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan.}
}
@inproceedings{conf/iclp/KempSS92,
title = {Query Restricted Bottom-Up Evaluation of Normal Logic Programs.},
year = {1992},
booktitle = {JICSLP},
author = {{David B. Kemp} and {Peter J. Stuckey} and {Divesh Srivastava}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992}
}
@inproceedings{conf/pldi/JaffarMSY92,
title = {An Abstract Machine for CLP(R).},
year = {1992},
booktitle = {PLDI},
author = {{Joxan Jaffar} and {Spiro Michaylov} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992}
}
@article{journals/jar/HeintzeMS92,
title = {CLP(R) and Some Electrical Engineering Problems.},
year = {1992},
journal = {J. Autom. Reason.},
author = {{Nevin Heintze} and {Spiro Michaylov} and {Peter J. Stuckey}}
}
@article{journals/tcs/KanchanasutS92,
title = {Transforming Normal Logic Programs to Constraint Logic Programs.},
year = {1992},
journal = {Theor. Comput. Sci.},
author = {{Kanchana Kanchanasut} and {Peter J. Stuckey}}
}
@article{journals/toplas/JaffarMSY92,
title = {The CLP(R) Language and System.},
year = {1992},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Joxan Jaffar} and {Spiro Michaylov} and {Peter J. Stuckey} and {Roland H. C. Yap}}
}
@inproceedings{conf/deductive/VaghaniRKSSLH93,
title = {The Aditi Deductive Datebase System.},
year = {1993},
booktitle = {Workshop on Programming with Logic Databases (Informal Proceedings), ILPS},
author = {{Jayen Vaghani} and {Kotagiri Ramamohanarao} and {David B. Kemp} and {Zoltan Somogyi} and {Peter J. Stuckey} and {Tim S. Leask} and {James Harland}},
publisher = {University of Wisconsin},
booktitle = {Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, Vancouver, BC, Canada, October 30, 1993}
}
@inproceedings{conf/fsttcs/StuckeyS93,
title = {Well-Founded Ordered Search (Extended Abstract).},
year = {1993},
booktitle = {FSTTCS},
author = {{Peter J. Stuckey} and {S. Sudarshan 001}},
publisher = {Springer},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings}
}
@inproceedings{conf/iclp/KempS93,
title = {Analysis Based Constraint Query Optimization.},
year = {1993},
booktitle = {ICLP},
author = {{David B. Kemp} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993}
}
@inproceedings{conf/iclp/VaghaniRKSSLH93,
title = {Status of the Aditi Deductive Database System.},
year = {1993},
booktitle = {ICLP},
author = {{Jayen Vaghani} and {Kotagiri Ramamohanarao} and {David B. Kemp} and {Zoltan Somogyi} and {Peter J. Stuckey} and {Tim S. Leask} and {James Harland}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993}
}
@inproceedings{conf/popl/MarriottS93,
title = {The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.},
year = {1993},
booktitle = {POPL},
author = {{Kim Marriott} and {Peter J. Stuckey}},
publisher = {ACM Press},
booktitle = {Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993}
}
@inproceedings{conf/slp/MacdonaldSY93,
title = {Redundancy of Variables in CLP (R).},
year = {1993},
booktitle = {ILPS},
author = {{Andrew D. Macdonald} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993}
}
@article{journals/loplas/MarriottS93a,
title = {Semantics of Constraint Logic Programs with Optimization.},
year = {1993},
journal = {LOPLAS},
author = {{Kim Marriott} and {Peter J. Stuckey}}
}
@article{journals/ngc/JaffarMSY93,
title = {Projecting CLP (R) Constraints.},
year = {1993},
journal = {New Gener. Comput.},
author = {{Joxan Jaffar} and {Michael J. Maher} and {Peter J. Stuckey} and {Roland H. C. Yap}}
}
@inproceedings{conf/pods/StuckeyS94,
title = {Compiling Query Constraints.},
year = {1994},
booktitle = {PODS},
author = {{Peter J. Stuckey} and {S. Sudarshan 001}},
publisher = {ACM Press},
booktitle = {Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA}
}
@inproceedings{conf/ppcp/JaffarMSY94,
title = {Beyond Finite Domains.},
year = {1994},
booktitle = {PPCP},
author = {{Joxan Jaffar} and {Michael J. Maher} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings}
}
@inproceedings{conf/slp/MarriottS94,
title = {Approximating Interaction between Linear Arithmetic Constraints.},
year = {1994},
booktitle = {ILPS},
author = {{Kim Marriott} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}
}
@article{journals/vldb/VaghaniRKSSLH94,
title = {The Aditi Deductive Database System},
year = {1994},
journal = {VLDB J.},
author = {{Jayen Vaghani} and {Kotagiri Ramamohanarao} and {David B. Kemp} and {Zoltan Somogyi} and {Peter J. Stuckey} and {Tim S. Leask} and {James Harland}}
}
@inproceedings{conf/cp/KellyMMSSY95,
title = {An Optimizing Compiler for CLP(R).},
year = {1995},
booktitle = {CP},
author = {{Andrew D. Kelly} and {Andrew D. Macdonald} and {Kim Marriott} and {Harald Søndergaard} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings}
}
@inproceedings{conf/dood/KempRS95,
title = {ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS.},
year = {1995},
booktitle = {DOOD},
author = {{David B. Kemp} and {Kotagiri Ramamohanarao} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Deductive and Object-Oriented Databases, Fourth International Conference, DOOD'95, Singapore, December 4-7, 1995, Proceedings}
}
@inproceedings{conf/iclp/BurgSTY95,
title = {Linear Equation Solving for Constraint Logic Programming.},
year = {1995},
booktitle = {ICLP},
author = {{Jennifer Burg} and {Peter J. Stuckey} and {Jason C. H. Tai} and {Roland H. C. Yap}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995}
}
@inproceedings{conf/iclp/HermenegildoPMS95,
title = {Incremental Analysis of Logic Programs.},
year = {1995},
booktitle = {ICLP},
author = {{Manuel V. Hermenegildo} and {Germán Puebla} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995}
}
@inproceedings{conf/slp/BandaMS95,
title = {Efficient Analysis of Logic Programs with Dynamic Scheduling.},
year = {1995},
booktitle = {ILPS},
author = {{Maria J. García de la Banda} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}
}
@article{journals/amai/MaherS95,
title = {On Inductive Inference of Cyclic Structures.},
year = {1995},
journal = {Ann. Math. Artif. Intell.},
author = {{Michael J. Maher} and {Peter J. Stuckey}}
}
@article{journals/tcs/KempSS95,
title = {Bottom-Up Evaluation and Query Optimization of Well-Founded Models.},
year = {1995},
journal = {Theor. Comput. Sci.},
author = {{David B. Kemp} and {Divesh Srivastava} and {Peter J. Stuckey}}
}
@article{journals/iandc/Stuckey95,
title = {Negation and Constraint Logic Programming},
year = {1995},
month = {April},
journal = {Inf. Comput.},
author = {{Peter J. Stuckey}}
}
@inproceedings{conf/acse/JohnstonMSS96,
title = {Low-contact learning in a first year programming course.},
year = {1996},
booktitle = {ACSE},
author = {{Roy Johnston} and {Alistair Moffat} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, ACSE 1996, Sydney, NSW, Australia, July 1996}
}
@inproceedings{conf/asian/LeeLSTW96,
title = {Using Stochastic Methods to Guide Search in CLP: A Preliminary Report.},
year = {1996},
booktitle = {ASIAN},
author = {{Jimmy Ho-Man Lee} and {Ho-fung Leung} and {Peter J. Stuckey} and {V. W. L. Tam} and {Hon-Wing Won}},
publisher = {Springer},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security: Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996, Proceedings}
}
@inproceedings{conf/iclp/KellyMMSY96,
title = {Effectiveness of Optimizing Compilation for CLP(R).},
year = {1996},
booktitle = {JICSLP},
author = {{Andrew D. Kelly} and {Andrew D. Macdonald} and {Kim Marriott} and {Peter J. Stuckey} and {Roland H. C. Yap}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996}
}
@inproceedings{conf/plilp/StuckeyT96,
title = {Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.},
year = {1996},
booktitle = {PLILP},
author = {{Peter J. Stuckey} and {Vincent W. L. Tam}},
publisher = {Springer},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings}
}
@inproceedings{conf/sas/KellyMSS96,
title = {Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.},
year = {1996},
booktitle = {SAS},
author = {{Andrew D. Kelly} and {Kim Marriott} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings}
}
@inproceedings{conf/sigmod/SeshadriHPLRSSS96,
title = {Cost-Based Optimization for Magic: Algebra and Implementation.},
year = {1996},
booktitle = {SIGMOD Conference},
author = {{Praveen Seshadri} and {Joseph M. Hellerstein} and {Hamid Pirahesh} and {T. Y. Cliff Leung} and {Raghu Ramakrishnan} and {Divesh Srivastava} and {Peter J. Stuckey} and {S. Sudarshan 001}},
publisher = {ACM Press},
booktitle = {Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, Montreal, Quebec, Canada, June 4-6, 1996.}
}
@article{journals/jlp/KempS96,
title = {Optimizing Bottom-Up Evaluation of Constraint Queries.},
year = {1996},
journal = {J. Log. Program.},
author = {{David B. Kemp} and {Peter J. Stuckey}}
}
@inproceedings{conf/cp/HarveySB97,
title = {Compiling Constraint Solving using Projection.},
year = {1997},
booktitle = {CP},
author = {{Warwick Harvey} and {Peter J. Stuckey} and {Alan Borning}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings}
}
@inproceedings{conf/iclp/PueblaBMS97,
title = {Optimization of Logic Programs with Dynamic Scheduling.},
year = {1997},
booktitle = {ICLP},
author = {{Germán Puebla} and {Maria J. García de la Banda} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997}
}
@inproceedings{conf/iclp/Stuckey97,
title = {Constraint Search Tree.},
year = {1997},
booktitle = {ICLP},
author = {{Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997}
}
@inproceedings{conf/ictai/StuckeyT97,
title = {Extending EGENET with Lazy Constraint Consistency.},
year = {1997},
booktitle = {ICTAI},
author = {{Peter J. Stuckey} and {Vincent W. L. Tam}},
publisher = {IEEE Computer Society},
booktitle = {9th International Conference on Tools with Artificial Intelligence, ICTAI '97, Newport Beach, CA, USA, November 3-8, 1997}
}
@inproceedings{conf/uist/BorningMSX97,
title = {Solving Linear Arithmetic Constraints for User Interface Applications.},
year = {1997},
booktitle = {ACM Symposium on User Interface Software and Technology},
author = {{Alan Borning} and {Kim Marriott} and {Peter J. Stuckey} and {Yi Xiao}},
publisher = {ACM},
booktitle = {Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, UIST 1997, Banff, Alberta, Canada, October 14-17, 1997}
}
@article{journals/constraints/RamakrishnanS97,
title = {Introduction to the Special Issue on Constraints and Databases.},
year = {1997},
journal = {Constraints An Int. J.},
author = {{Raghu Ramakrishnan} and {Peter J. Stuckey}}
}
@article{journals/jlp/HeintzeMSY97,
title = {Meta-Programming in CLP(R).},
year = {1997},
journal = {J. Log. Program.},
author = {{Nevin Heintze} and {Spiro Michaylov} and {Peter J. Stuckey} and {Roland H. C. Yap}}
}
@article{journals/jlp/StuckeyS97,
title = {Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models.},
year = {1997},
journal = {J. Log. Program.},
author = {{Peter J. Stuckey} and {S. Sudarshan 001}}
}
@article{journals/jsi/KempRS97,
title = {An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs.},
year = {1997},
journal = {J. Syst. Integr.},
author = {{David B. Kemp} and {Kotagiri Ramamohanarao} and {Peter J. Stuckey}}
}
@inproceedings{conf/cp/HarveyS98,
title = {Constraint Representation for Propagation.},
year = {1998},
booktitle = {CP},
author = {{Warwick Harvey} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings}
}
@inproceedings{conf/ictai/ChoiLS98,
title = {A Lagrangian reconstruction of a class of local search methods.},
year = {1998},
booktitle = {ICTAI},
author = {{Kenneth M. F. Choi} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}},
publisher = {IEEE Computer Society},
booktitle = {Tenth IEEE International Conference on Tools with Artificial Intelligence, ICTAI '98, Taipei, Taiwan, November 10-12, 1998}
}
@article{journals/jflp/StuckeyT98,
title = {Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming.},
year = {1998},
journal = {J. Funct. Log. Program.},
author = {{Peter J. Stuckey} and {Vincent W. L. Tam}}
}
@article{journals/jlp/BandaMSS98,
title = {Differential Methods in Logic Program Analysis.},
year = {1998},
journal = {J. Log. Program.},
author = {{Maria J. García de la Banda} and {Kim Marriott} and {Peter J. Stuckey} and {Harald Søndergaard}}
}
@article{journals/jlp/JaffarMMS98,
title = {The Semantics of Constraint Logic Programs.},
year = {1998},
journal = {J. Log. Program.},
author = {{Joxan Jaffar} and {Michael J. Maher} and {Kim Marriott} and {Peter J. Stuckey}}
}
@article{journals/spe/MarriottSS98,
title = {A Practical Object-Oriented Analysis Engine for CLP.},
year = {1998},
journal = {Softw. Pract. Exp.},
author = {{Kim Marriott} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@article{journals/tcs/RossSSS98,
title = {Foundations of Aggregation Constraints.},
year = {1998},
journal = {Theor. Comput. Sci.},
author = {{Kenneth A. Ross} and {Divesh Srivastava} and {Peter J. Stuckey} and {S. Sudarshan 001}}
}
@article{journals/toplas/KellyMMSY98,
title = {Optimizing Compilation of CLP(R).},
year = {1998},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Andrew D. Kelly} and {Kim Marriott} and {Andrew D. Macdonald} and {Peter J. Stuckey} and {Roland H. C. Yap}}
}
@article{journals/tsmc/StuckeyT98,
title = {Extending GENET with lazy arc consistency.},
year = {1998},
journal = {IEEE Trans. Syst. Man Cybern. Part A},
author = {{Peter J. Stuckey} and {Vincent W. L. Tam}}
}
@inproceedings{conf/cp/DemoenBHMS99,
title = {An Overview of HAL.},
year = {1999},
booktitle = {CP},
author = {{Bart Demoen} and {Maria J. García de la Banda} and {Warwick Harvey} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings}
}
@inproceedings{conf/iclp/DemoenBHMS99,
title = {Herbrand Constraint Solving in HAL.},
year = {1999},
booktitle = {ICLP},
author = {{Bart Demoen} and {Maria J. García de la Banda} and {Warwick Harvey} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {MIT Press},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999}
}
@inproceedings{conf/uist/BadrosBMS99,
title = {Constraint Cascading Style Sheets for the Web.},
year = {1999},
booktitle = {ACM Symposium on User Interface Software and Technology},
author = {{Greg J. Badros} and {Alan Borning} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, UIST 1999, Asheville, North Carolina, USA, November 7-10, 1999}
}
@article{journals/ijait/StuckeyT99,
title = {Improving Evolutionary Algorithms for Efficient Constraint Satisfaction.},
year = {1999},
journal = {Int. J. Artif. Intell. Tools},
author = {{Peter J. Stuckey} and {Vincent W. L. Tam}}
}
@article{journals/sigart/MarriottS99,
title = {Book reviews.},
year = {1999},
journal = {Intell.},
author = {{Kim Marriott} and {Peter J. Stuckey}}
}
@article{journals/toplas/CodishSS99,
title = {Sharing and groundness dependencies in logic programs.},
year = {1999},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Michael Codish} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/adc/SitzmannS00,
title = {O-Trees: A Constraint-Based Index Structure.},
year = {2000},
booktitle = {Australasian Database Conference},
author = {{Inga Sitzmann} and {Peter J. Stuckey}},
publisher = {IEEE Computer Society},
booktitle = {Australasian Database Conference, ADC 2000, Canberra, Australia, January 31 - February 3, 2000}
}
@inproceedings{conf/cl/BandaSHM00,
title = {Model Checking in HAL.},
year = {2000},
booktitle = {Computational Logic},
author = {{Maria J. García de la Banda} and {Peter J. Stuckey} and {Warwick Harvey} and {Kim Marriott}},
publisher = {Springer},
booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}
}
@inproceedings{conf/dexa/SitzmannS00,
title = {Improving Temporal Joins Using Histograms.},
year = {2000},
booktitle = {DEXA},
author = {{Inga Sitzmann} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings}
}
@inproceedings{conf/lopstr/BuenoBHMPS00a,
title = {A Model for Inter-module Analysis and Optimizing Compilation.},
year = {2000},
booktitle = {LOPSTR (LNCS 2042: Selected Papers)},
author = {{Francisco Bueno} and {Maria J. García de la Banda} and {Manuel V. Hermenegildo} and {Kim Marriott} and {Germán Puebla} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.}
}
@article{journals/ai/ChoiLS00,
title = {A Lagrangian reconstruction of GENET.},
year = {2000},
journal = {Artif. Intell.},
author = {{Kenneth M. F. Choi} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}}
}
@article{journals/corr/cs-PL-0006034,
title = {Type Classes and Constraint Handling Rules},
year = {2000},
journal = {CoRR},
author = {{Kevin Glynn} and {Martin Sulzmann} and {Peter J. Stuckey}}
}
@article{journals/toplas/HermenegildoPMS00,
title = {Incremental analysis of constraint logic programs.},
year = {2000},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Manuel V. Hermenegildo} and {Germán Puebla} and {Kim Marriott} and {Peter J. Stuckey}}
}
@inproceedings{conf/cp/MarriottMSB01,
title = {Solving Disjunctive Constraints for Interactive Graphical Applications.},
year = {2001},
booktitle = {CP},
author = {{Kim Marriott} and {Peter Moulder} and {Peter J. Stuckey} and {Alan Borning}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}
}
@inproceedings{conf/flops/LagoonS01,
title = {A Framework for Analysis of Typed Logic Programs.},
year = {2001},
booktitle = {FLOPS},
author = {{Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings}
}
@inproceedings{conf/iclp/BandaJMNSH01,
title = {Building Constraint Solvers with HAL.},
year = {2001},
booktitle = {ICLP},
author = {{Maria J. García de la Banda} and {David Jeffery} and {Kim Marriott} and {Nicholas Nethercote} and {Peter J. Stuckey} and {Christian Holzbaur}},
publisher = {Springer},
booktitle = {Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}
}
@inproceedings{conf/iclp/CodishGSS01,
title = {Higher-Precision Groundness Analysis.},
year = {2001},
booktitle = {ICLP},
author = {{Michael Codish} and {Samir Genaim} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}
}
@inproceedings{conf/iclp/HolzbaurBJS01,
title = {Optimizing Compilation of Constraint Handling Rules.},
year = {2001},
booktitle = {ICLP},
author = {{Christian Holzbaur} and {Maria J. García de la Banda} and {David Jeffery} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}
}
@inproceedings{conf/pado/GlynnSSS01,
title = {Boolean Constraints for Binding-Time Analysis.},
year = {2001},
booktitle = {PADO},
author = {{Kevin Glynn} and {Peter J. Stuckey} and {Martin Sulzmann} and {Harald Søndergaard}},
publisher = {Springer},
booktitle = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings}
}
@inproceedings{conf/sas/GlynnSS01,
title = {Effective Strictness Analysis with HORN Constraints.},
year = {2001},
booktitle = {SAS},
author = {{Kevin Glynn} and {Peter J. Stuckey} and {Martin Sulzmann}},
publisher = {Springer},
booktitle = {Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings}
}
@inproceedings{conf/ssdbm/RossSS01,
title = {Cost-based Unbalanced R-Trees.},
year = {2001},
booktitle = {SSDBM},
author = {{Kenneth A. Ross} and {Inga Sitzmann} and {Peter J. Stuckey}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 13th International Conference on Scientific and Statistical Database Management, July 18-20, 2001, George Mason University, Fairfax, Virginia, USA}
}
@article{journals/tochi/BadrosBS01,
title = {The Cassowary linear arithmetic constraint solving algorithm.},
year = {2001},
journal = {ACM Trans. Comput. Hum. Interact.},
author = {{Greg J. Badros} and {Alan Borning} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/FangKLS02,
title = {Reducing Search Space in Local Search for Constraint Satisfaction.},
year = {2002},
booktitle = {AAAI/IAAI},
author = {{Hai Fang} and {Y. Kilani} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}},
publisher = {AAAI Press / The MIT Press},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada.}
}
@inproceedings{conf/acsc/ZhengS02,
title = {Improving SAT Using 2SAT.},
year = {2002},
booktitle = {ACSC},
author = {{Lei Zheng} and {Peter J. Stuckey}},
publisher = {Australian Computer Society},
booktitle = {Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, Australia, January/February 2002}
}
@inproceedings{conf/adc/SitzmannS02,
title = {Compacting Discriminator Information for Spatial Trees.},
year = {2002},
booktitle = {Australasian Database Conference},
author = {{Inga Sitzmann} and {Peter J. Stuckey}},
publisher = {Australian Computer Society},
booktitle = {Database Technologies 2002, Thirteenth Australasian Database Conference (ADC2002), Monash University, Melbourne, Victoria, Australia, January/February 2002}
}
@inproceedings{conf/cp/StuckeyZ02,
title = {Improving GSAT Using 2SAT.},
year = {2002},
booktitle = {CP},
author = {{Peter J. Stuckey} and {Lei Zheng}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings}
}
@inproceedings{conf/flops/BandaDMS02,
title = {To the Gates of HAL: A HAL Tutorial.},
year = {2002},
booktitle = {FLOPS},
author = {{Maria J. García de la Banda} and {Bart Demoen} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings}
}
@inproceedings{conf/icfp/GlynnSSS02,
title = {Exception analysis for non-strict languages.},
year = {2002},
booktitle = {ICFP},
author = {{Kevin Glynn} and {Peter J. Stuckey} and {Martin Sulzmann} and {Harald Søndergaard}},
publisher = {ACM},
booktitle = {Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002.}
}
@inproceedings{conf/patat/MerlotBHS02,
title = {A Hybrid Algorithm for the Examination Timetabling Problem.},
year = {2002},
booktitle = {PATAT},
author = {{Liam T. G. Merlot} and {Natashia Boland} and {Barry D. Hughes} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Practice and Theory of Automated Timetabling IV, 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers}
}
@inproceedings{conf/ppdp/LagoonS02,
title = {Precise pair-sharing analysis of logic programs.},
year = {2002},
booktitle = {PPDP},
author = {{Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)}
}
@inproceedings{conf/ppdp/OvertonSS02,
title = {Constraint-based mode analysis of mercury.},
year = {2002},
booktitle = {PPDP},
author = {{David Overton} and {Zoltan Somogyi} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)}
}
@inproceedings{conf/ppdp/SomogyiS02,
title = {Using the heap to eliminate stack accesses.},
year = {2002},
booktitle = {PPDP},
author = {{Zoltan Somogyi} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)}
}
@article{journals/constraints/HarveySB02,
title = {Fourier Elimination for Compiling Constraint Hierarchies.},
year = {2002},
journal = {Constraints An Int. J.},
author = {{Warwick Harvey} and {Peter J. Stuckey} and {Alan Borning}}
}
@article{journals/informs/DaveyBS02,
title = {Efficient Intelligent Backtracking Using Linear Programming.},
year = {2002},
journal = {INFORMS J. Comput.},
author = {{Bruce Davey} and {Natashia Boland} and {Peter J. Stuckey}}
}
@article{journals/vlc/HansenMMS02,
title = {Flexible Graph Layout for the Web.},
year = {2002},
journal = {J. Vis. Lang. Comput.},
author = {{Trevor Hansen} and {Kim Marriott} and {Bernd Meyer 001} and {Peter J. Stuckey}}
}
@inproceedings{conf/aplas/MarriottSS03,
title = {Resource Usage Verification.},
year = {2003},
booktitle = {APLAS},
author = {{Kim Marriott} and {Peter J. Stuckey} and {Martin Sulzmann}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings}
}
@inproceedings{conf/cp/ChengLS03,
title = {Box Constraint Collections for Adhoc Constraints.},
year = {2003},
booktitle = {CP},
author = {{Chi Kan Cheng} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}
}
@inproceedings{conf/cp/ChoiLS03,
title = {Propagation Redundancy in Redundant Modelling.},
year = {2003},
booktitle = {CP},
author = {{Chiu Wo Choi} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}
}
@inproceedings{conf/haskell/StuckeySW03,
title = {Interactive type debugging in Haskell.},
year = {2003},
booktitle = {Haskell},
author = {{Peter J. Stuckey} and {Martin Sulzmann} and {Jeremy Wazny}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003}
}
@inproceedings{conf/iclp/LagoonMS03,
title = {Termination Analysis with Types Is More Accurate.},
year = {2003},
booktitle = {ICLP},
author = {{Vitaly Lagoon} and {Frédéric Mesnard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings}
}
@inproceedings{conf/ictai/StuckeyZ03,
title = {Improving Nogood Recording Using 2SAT.},
year = {2003},
booktitle = {ICTAI},
author = {{Peter J. Stuckey} and {Lei Zheng}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 3-5 November 2003, Sacramento, California, USA}
}
@inproceedings{conf/ijcai/ChengLS03,
title = {Efficient Representation of Adhoc Constraints.},
year = {2003},
booktitle = {IJCAI},
author = {{Kenil C. K. Cheng} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}},
publisher = {Morgan Kaufmann},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}
}
@inproceedings{conf/ijcai/ChoiLS03,
title = {Propagation Redundancy for Permutation Channels.},
year = {2003},
booktitle = {IJCAI},
author = {{Chiu Wo Choi} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}},
publisher = {Morgan Kaufmann},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}
}
@inproceedings{conf/ppdp/BandaSW03,
title = {Finding all minimal unsatisfiable subsets.},
year = {2003},
booktitle = {PPDP},
author = {{Maria J. García de la Banda} and {Peter J. Stuckey} and {Jeremy Wazny}},
publisher = {ACM},
booktitle = {Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden}
}
@inproceedings{conf/ppdp/DuckSBH03,
title = {Extending arbitrary solvers with constraint handling rules.},
year = {2003},
booktitle = {PPDP},
author = {{Gregory J. Duck} and {Peter J. Stuckey} and {Maria J. García de la Banda} and {Christian Holzbaur}},
publisher = {ACM},
booktitle = {Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden}
}
@article{journals/constraints/HarveyS03,
title = {Improving Linear Constraint Propagation by Changing Constraint Representation.},
year = {2003},
journal = {Constraints An Int. J.},
author = {{Warwick Harvey} and {Peter J. Stuckey}}
}
@article{journals/constraints/MarriottSTH03,
title = {Removing Node Overlapping in Graph Layout Using Constrained Optimization.},
year = {2003},
journal = {Constraints An Int. J.},
author = {{Kim Marriott} and {Peter J. Stuckey} and {Vincent W. L. Tam} and {Weiqing He}}
}
@article{journals/corr/cs-PL-0311023,
title = {The Chameleon Type Debugger (Tool Demonstration)},
year = {2003},
journal = {CoRR},
author = {{Peter J. Stuckey} and {Martin Sulzmann} and {Jeremy Wazny}}
}
@article{journals/tissec/BarkerS03,
title = {Flexible access control policy specification with constraint logic programming.},
year = {2003},
journal = {ACM Trans. Inf. Syst. Secur.},
author = {{Steve Barker} and {Peter J. Stuckey}}
}
@inproceedings{conf/asian/MarriottMS04,
title = {Towards Flexible Graphical Communication Using Adaptive Diagrams.},
year = {2004},
booktitle = {ASIAN},
author = {{Kim Marriott} and {Bernd Meyer 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings}
}
@inproceedings{conf/ausai/HawkinsLS04,
title = {Set Bounds and (Split) Set Domain Propagation Using ROBDDs.},
year = {2004},
booktitle = {Australian Conference on Artificial Intelligence},
author = {{Peter Hawkins} and {Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings}
}
@inproceedings{conf/cp/LagoonS04,
title = {Set Domain Propagation Using ROBDDs.},
year = {2004},
booktitle = {CP},
author = {{Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings}
}
@inproceedings{conf/cp/SchulteS04,
title = {Speeding Up Constraint Propagation.},
year = {2004},
booktitle = {CP},
author = {{Christian Schulte 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings}
}
@inproceedings{conf/esop/DuckPSS04,
title = {Sound and Decidable Type Inference for Functional Dependencies.},
year = {2004},
booktitle = {ESOP},
author = {{Gregory J. Duck} and {Simon L. Peyton Jones} and {Peter J. Stuckey} and {Martin Sulzmann}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}
}
@inproceedings{conf/haskell/StuckeySW04,
title = {Improving type error diagnosis.},
year = {2004},
booktitle = {Haskell},
author = {{Peter J. Stuckey} and {Martin Sulzmann} and {Jeremy Wazny}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004}
}
@inproceedings{conf/iclp/DuckBS04,
title = {Compiling Ask Constraints.},
year = {2004},
booktitle = {ICLP},
author = {{Gregory J. Duck} and {Maria J. García de la Banda} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}
}
@inproceedings{conf/iclp/DuckSBH04,
title = {The Refined Operational Semantics of Constraint Handling Rules.},
year = {2004},
booktitle = {ICLP},
author = {{Gregory J. Duck} and {Peter J. Stuckey} and {Maria J. García de la Banda} and {Christian Holzbaur}},
publisher = {Springer},
booktitle = {Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings}
}
@incollection{conf/lopstr/DemoenBHMOS04,
title = {Herbrand Constraints in HAL.},
year = {2004},
booktitle = {Program Development in Computational Logic},
author = {{Bart Demoen} and {Maria J. García de la Banda} and {Warwick Harvey} and {Kim Marriott} and {David Overton} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}
}
@incollection{conf/lopstr/PueblaCHBBMS04,
title = {A Generic Framework for Context-Sensitive Analysis of Modular Programs.},
year = {2004},
booktitle = {Program Development in Computational Logic},
author = {{Germán Puebla} and {Jesús Correas} and {Manuel V. Hermenegildo} and {Francisco Bueno} and {Maria J. García de la Banda} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}
}
@inproceedings{conf/ppdp/SagonasS04,
title = {Just enough tabling.},
year = {2004},
booktitle = {PPDP},
author = {{Konstantinos Sagonas} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy}
}
@article{journals/jbcb/KonagurthuWS04,
title = {Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs.},
year = {2004},
journal = {J. Bioinform. Comput. Biol.},
author = {{Arun Siddharth Konagurthu} and {James C. Whisstock} and {Peter J. Stuckey}}
}
@article{journals/jgaa/MarriottS04,
title = {NP-Completeness of Minimal Width Unordered Tree Layout.},
year = {2004},
journal = {J. Graph Algorithms Appl.},
author = {{Kim Marriott} and {Peter J. Stuckey}}
}
@inproceedings{conf/acl-alta/MarshallBS05,
title = {Structuring Documents Efficiently.},
year = {2005},
booktitle = {ALTA},
author = {{Robert Marshall} and {Steven Bird} and {Peter J. Stuckey}},
publisher = {Australasian Language Technology Association},
booktitle = {Proceedings of the Australasian Language Technology Workshop, ALTA 2005, Sydney, Australia, December 10-11, 2005}
}
@inproceedings{conf/gd/DwyerMS05,
title = {Fast Node Overlap Removal.},
year = {2005},
booktitle = {GD},
author = {{Tim Dwyer} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Graph Drawing, 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers}
}
@inproceedings{conf/gd/WybrowMS05,
title = {Incremental Connector Routing.},
year = {2005},
booktitle = {GD},
author = {{Michael Wybrow} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Graph Drawing, 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers}
}
@inproceedings{conf/iclp/CodishLS05,
title = {Testing for Termination with Monotonicity Constraints.},
year = {2005},
booktitle = {ICLP},
author = {{Michael Codish} and {Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings}
}
@inproceedings{conf/iclp/StuckeyBMMSSWW05,
title = {The G12 Project: Mapping Solver Independent Models to Efficient Solutions.},
year = {2005},
booktitle = {ICLP},
author = {{Peter J. Stuckey} and {Maria J. García de la Banda} and {Michael J. Maher} and {Kim Marriott} and {John K. Slaney} and {Zoltan Somogyi} and {Mark Wallace 001} and {Toby Walsh}},
publisher = {Springer},
booktitle = {Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings}
}
@inproceedings{conf/padl/BaileyS05,
title = {Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.},
year = {2005},
booktitle = {PADL},
author = {{James Bailey 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings}
}
@inproceedings{conf/ppdp/SchrijversSD05,
title = {Abstract interpretation for constraint handling rules.},
year = {2005},
booktitle = {PPDP},
author = {{Tom Schrijvers} and {Peter J. Stuckey} and {Gregory J. Duck}},
publisher = {ACM},
booktitle = {Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal}
}
@article{journals/corr/abs-cs-0507036,
title = {Improved Inference for Checking Annotations},
year = {2005},
journal = {CoRR},
author = {{Peter J. Stuckey} and {Martin Sulzmann} and {Jeremy Wazny}}
}
@article{journals/corr/abs-cs-0507037,
title = {Type Inference for Guarded Recursive Data Types},
year = {2005},
journal = {CoRR},
author = {{Peter J. Stuckey} and {Martin Sulzmann}}
}
@inproceedings{journals/entcs/SchrijversDDSF06,
title = {Automatic Implication Checking for CHR Constraints.},
year = {2005},
booktitle = {RULE@RDP},
author = {{Tom Schrijvers} and {Bart Demoen} and {Gregory J. Duck} and {Peter J. Stuckey} and {Thom W. Frühwirth}},
publisher = {Elsevier},
booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005}
}
@article{journals/jair/HawkinsLS05,
title = {Solving Set Constraint Satisfaction Problems using ROBDDs.},
year = {2005},
journal = {J. Artif. Intell. Res.},
author = {{Peter Hawkins} and {Vitaly Lagoon} and {Peter J. Stuckey}}
}
@article{journals/toplas/SchulteS05,
title = {When do bounds and domain propagation lead to the same search space?},
year = {2005},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Christian Schulte 001} and {Peter J. Stuckey}}
}
@article{journals/toplas/StuckeyS05,
title = {A theory of overloading.},
year = {2005},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Peter J. Stuckey} and {Martin Sulzmann}}
}
@article{journals/tplp/BandaHMSD05,
title = {Checking modes of HAL programs.},
year = {2005},
journal = {Theory Pract. Log. Program.},
author = {{Maria J. García de la Banda} and {Warwick Harvey} and {Kim Marriott} and {Peter J. Stuckey} and {Bart Demoen}}
}
@article{journals/tplp/HolzbaurBSD05,
title = {Optimizing compilation of constraint handling rules in HAL.},
year = {2005},
journal = {Theory Pract. Log. Program.},
author = {{Christian Holzbaur} and {Maria J. García de la Banda} and {Peter J. Stuckey} and {Gregory J. Duck}}
}
@inproceedings{conf/aplas/StuckeySW06,
title = {Type Processing by Constraint Reasoning.},
year = {2006},
booktitle = {APLAS},
author = {{Peter J. Stuckey} and {Martin Sulzmann} and {Jeremy Wazny}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings}
}
@inproceedings{conf/aplas/SulzmannSS06,
title = {Principal Type Inference for GHC-Style Multi-parameter Type Classes.},
year = {2006},
booktitle = {APLAS},
author = {{Martin Sulzmann} and {Tom Schrijvers} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings}
}
@inproceedings{conf/ausai/ChoiHLS06,
title = {Finite Domain Bounds Consistency Revisited.},
year = {2006},
booktitle = {Australian Conference on Artificial Intelligence},
author = {{Chiu Wo Choi} and {Warwick Harvey} and {J. H. M. Lee} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings}
}
@inproceedings{conf/esop/CodishLSS06,
title = {Size-Change Termination Analysis in k-Bits.},
year = {2006},
booktitle = {ESOP},
author = {{Michael Codish} and {Vitaly Lagoon} and {Peter Schachte} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings}
}
@inproceedings{conf/flops/SulzmannWS06,
title = {A Framework for Extended Algebraic Data Types.},
year = {2006},
booktitle = {FLOPS},
author = {{Martin Sulzmann} and {Jeremy Wazny} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings}
}
@inproceedings{conf/gd/DwyerMS06,
title = {Fast Node Overlap Removal - Correction.},
year = {2006},
booktitle = {GD},
author = {{Tim Dwyer} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers}
}
@inproceedings{conf/iclp/DuckSB06,
title = {ACD Term Rewriting.},
year = {2006},
booktitle = {ICLP},
author = {{Gregory J. Duck} and {Peter J. Stuckey} and {Sebastian Brand}},
publisher = {Springer},
booktitle = {Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}
}
@inproceedings{conf/middleware/NiHS06,
title = {Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware.},
year = {2006},
booktitle = {MGC@Middleware},
author = {{Lei Ni} and {Aaron Harwood} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 4th international workshop on Middleware for grid computing, MCG 2006, Melbourne, Australia, November 27 - December 1, 2006}
}
@inproceedings{conf/padl/BecketBMSSW06,
title = {Adding Constraint Solving to Mercury.},
year = {2006},
booktitle = {PADL},
author = {{Ralph Becket} and {Maria J. García de la Banda} and {Kim Marriott} and {Zoltan Somogyi} and {Peter J. Stuckey} and {Mark Wallace 001}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings}
}
@inproceedings{conf/padl/HawkinsS06,
title = {A Hybrid BDD and SAT Finite Domain Constraint Solver.},
year = {2006},
booktitle = {PADL},
author = {{Peter Hawkins} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings}
}
@inproceedings{conf/pricai/MuhammadS06,
title = {A Stochastic Non-CNF SAT Solver.},
year = {2006},
booktitle = {PRICAI},
author = {{Rafiq Muhammad 006} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings}
}
@article{journals/corr/abs-cs-0607071,
title = {Islands for SAT},
year = {2006},
journal = {CoRR},
author = {{Hai Fang} and {Y. Kilani} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}}
}
@article{journals/jcb/KonagurthuS06,
title = {Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds.},
year = {2006},
journal = {J. Comput. Biol.},
author = {{Arun Siddharth Konagurthu} and {Peter J. Stuckey}}
}
@article{journals/tplp/SchrijversDBS06,
title = {Improving PARMA trailing.},
year = {2006},
journal = {Theory Pract. Log. Program.},
author = {{Tom Schrijvers} and {Bart Demoen} and {Maria J. García de la Banda} and {Peter J. Stuckey}}
}
@incollection{reference/fai/MarriottSW06,
title = {Constraint Logic Programming.},
year = {2006},
booktitle = {Handbook of Constraint Programming},
author = {{Kim Marriott} and {Peter J. Stuckey} and {Mark Wallace 001}},
publisher = {Elsevier},
booktitle = {Handbook of Constraint Programming}
}
@inproceedings{conf/cp/BrandNQSW07,
title = {Encodings of the Sequence Constraint.},
year = {2007},
booktitle = {CP},
author = {{Sebastian Brand} and {Nina Narodytska} and {Claude-Guy Quimper} and {Peter J. Stuckey} and {Toby Walsh}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings}
}
@inproceedings{conf/cp/NethercoteSBBDT07,
title = {MiniZinc: Towards a Standard CP Modelling Language.},
year = {2007},
booktitle = {CP},
author = {{Nicholas Nethercote} and {Peter J. Stuckey} and {Ralph Becket} and {Sebastian Brand} and {Gregory J. Duck} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings}
}
@inproceedings{conf/cp/OhrimenkoSC07,
title = {Propagation = Lazy Clause Generation.},
year = {2007},
booktitle = {CP},
author = {{Olga Ohrimenko} and {Peter J. Stuckey} and {Michael Codish}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings}
}
@inproceedings{conf/cpaior/BaatarBBS07,
title = {Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.},
year = {2007},
booktitle = {CPAIOR},
author = {{Davaatseren Baatar} and {Natashia Boland} and {Sebastian Brand} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings}
}
@inproceedings{conf/icde/RossSM07,
title = {Practical Preference Relations for Large Data Sets.},
year = {2007},
booktitle = {ICDE Workshops},
author = {{Kenneth A. Ross} and {Peter J. Stuckey} and {Amélie Marian}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 23rd International Conference on Data Engineering Workshops, ICDE 2007, 15-20 April 2007, Istanbul, Turkey}
}
@inproceedings{conf/iclp/DuckSS07,
title = {Observable Confluence for Constraint Handling Rules.},
year = {2007},
booktitle = {ICLP},
author = {{Gregory J. Duck} and {Peter J. Stuckey} and {Martin Sulzmann}},
publisher = {Springer},
booktitle = {Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings}
}
@inproceedings{conf/sac/FeydyS07,
title = {Propagating dense systems of integer linear equations.},
year = {2007},
booktitle = {SAC},
author = {{Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007}
}
@inproceedings{conf/sac/FrancisS07,
title = {Constraint propagation for loose constraint graphs.},
year = {2007},
booktitle = {SAC},
author = {{Kathryn Francis} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007}
}
@article{journals/heuristics/FangKLS07,
title = {The island confinement method for reducing search space in local search methods.},
year = {2007},
journal = {J. Heuristics},
author = {{Hai Fang} and {Y. Kilani} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}}
}
@article{journals/informs/BandaS07,
title = {Dynamic Programming to Minimize the Maximum Number of Open Stacks.},
year = {2007},
journal = {INFORMS J. Comput.},
author = {{Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@article{journals/jfp/SulzmannDJS07,
title = {Understanding functional dependencies via constraint handling rules.},
year = {2007},
journal = {J. Funct. Program.},
author = {{Martin Sulzmann} and {Gregory J. Duck} and {Simon L. Peyton Jones} and {Peter J. Stuckey}}
}
@article{journals/tocl/ChoiLS07,
title = {Removing propagation redundant constraints in redundant modeling.},
year = {2007},
journal = {ACM Trans. Comput. Log.},
author = {{Chiu Wo Choi} and {Jimmy Ho-Man Lee} and {Peter J. Stuckey}}
}
@inproceedings{conf/cats/HustonPS08,
title = {The Core Concept for 0/1 Integer Programming.},
year = {2008},
booktitle = {CATS},
author = {{Samuel J. Huston} and {Jakob Puchinger} and {Peter J. Stuckey}},
publisher = {Australian Computer Society},
booktitle = {Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings}
}
@inproceedings{conf/cats/OhrimenkoS08,
title = {Modelling for Lazy Clause Generation.},
year = {2008},
booktitle = {CATS},
author = {{Olga Ohrimenko} and {Peter J. Stuckey}},
publisher = {Australian Computer Society},
booktitle = {Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings}
}
@inproceedings{conf/cpaior/PuchingerSWB08,
title = {From High-Level Model to Branch-and-Price Solution in G12.},
year = {2008},
booktitle = {CPAIOR},
author = {{Jakob Puchinger} and {Peter J. Stuckey} and {Mark Wallace 001} and {Sebastian Brand}},
publisher = {Springer},
booktitle = {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}
}
@inproceedings{conf/diagrams/GangeMS08,
title = {Smooth Linear Approximation of Non-overlap Constraints.},
year = {2008},
booktitle = {Diagrams},
author = {{Graeme Gange} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings}
}
@inproceedings{conf/ecai/GangeLS08,
title = {Fast Set Bounds Propagation using BDDs.},
year = {2008},
booktitle = {ECAI},
author = {{Graeme Gange} and {Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {IOS Press},
booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings}
}
@inproceedings{conf/flops/KoninckSD08,
title = {Optimizing Compilation of CHR with Rule Priorities.},
year = {2008},
booktitle = {FLOPS},
author = {{Leslie De Koninck} and {Peter J. Stuckey} and {Gregory J. Duck}},
publisher = {Springer},
booktitle = {Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings}
}
@inproceedings{conf/iclp/CodishLS08,
title = {Telecommunications Feature Subscription as a Partial Order Constraint Problem.},
year = {2008},
booktitle = {ICLP},
author = {{Michael Codish} and {Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings}
}
@inproceedings{conf/iclp/DuckKS08,
title = {Cadmium: An Implementation of ACD Term Rewriting.},
year = {2008},
booktitle = {ICLP},
author = {{Gregory J. Duck} and {Leslie De Koninck} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings}
}
@inproceedings{conf/iclp/SchulteS08,
title = {Dynamic Analysis of Bounds Versus Domain Propagation.},
year = {2008},
booktitle = {ICLP},
author = {{Christian Schulte 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings}
}
@inproceedings{conf/padl/BrandDPS08,
title = {Flexible, Rule-Based Constraint Model Linearisation.},
year = {2008},
booktitle = {PADL},
author = {{Sebastian Brand} and {Gregory J. Duck} and {Jakob Puchinger} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008.}
}
@inproceedings{conf/pepm/PuchingerS08,
title = {Automating branch-and-bound for dynamic programs.},
year = {2008},
booktitle = {PEPM},
author = {{Jakob Puchinger} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008}
}
@inproceedings{conf/ppdp/FeydySS08,
title = {Global difference constraint propagation for finite domain solvers.},
year = {2008},
booktitle = {PPDP},
author = {{Thibaut Feydy} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain}
}
@inproceedings{conf/ppdp/SchulteS08,
title = {Dynamic variable elimination during propagation solving.},
year = {2008},
booktitle = {PPDP},
author = {{Christian Schulte 001} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain}
}
@article{journals/bioinformatics/KonagurthuSL08,
title = {Structural search and retrieval using a tableau representation of protein folding patterns.},
year = {2008},
journal = {Bioinform.},
author = {{Arun Siddharth Konagurthu} and {Peter J. Stuckey} and {Arthur M. Lesk}}
}
@article{journals/constraints/MarriottNRSBW08,
title = {The Design of the Zinc Modelling Language.},
year = {2008},
journal = {Constraints An Int. J.},
author = {{Kim Marriott} and {Nicholas Nethercote} and {Reza Rafeh} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {Mark Wallace 001}}
}
@article{journals/cor/BolandHMS08,
title = {New integer linear programming approaches for course timetabling.},
year = {2008},
journal = {Comput. Oper. Res.},
author = {{Natashia Boland} and {Barry D. Hughes} and {Liam T. G. Merlot} and {Peter J. Stuckey}}
}
@article{journals/jfp/SulzmannS08,
title = {HM(X) type inference is CLP(X) solving.},
year = {2008},
journal = {J. Funct. Program.},
author = {{Martin Sulzmann} and {Peter J. Stuckey}}
}
@article{journals/jsat/CodishLS08,
title = {Solving Partial Order Constraints for LPO Termination.},
year = {2008},
journal = {J. Satisf. Boolean Model. Comput.},
author = {{Michael Codish} and {Vitaly Lagoon} and {Peter J. Stuckey}}
}
@article{journals/tochi/WybrowMMS08,
title = {Comparing usability of one-way and multi-way constraints for diagram editing.},
year = {2008},
journal = {ACM Trans. Comput. Hum. Interact.},
author = {{Michael Wybrow} and {Kim Marriott} and {Linda McIver} and {Peter J. Stuckey}}
}
@article{journals/toplas/SchulteS08,
title = {Efficient constraint propagation engines.},
year = {2008},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Christian Schulte 001} and {Peter J. Stuckey}}
}
@article{journals/tplp/CodishLS08,
title = {Logic programming with satisfiability.},
year = {2008},
journal = {Theory Pract. Log. Program.},
author = {{Michael Codish} and {Vitaly Lagoon} and {Peter J. Stuckey}}
}
@article{journals/tplp/Stuckey08,
title = {Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages.},
year = {2008},
journal = {Theory Pract. Log. Program.},
author = {{Peter J. Stuckey}}
}
@article{journals/tvcg/DwyerMSSWW08,
title = {Exploration of Networks using overview+detail with Constraint-based cooperative layout.},
year = {2008},
journal = {IEEE Trans. Vis. Comput. Graph.},
author = {{Tim Dwyer} and {Kim Marriott} and {Falk Schreiber} and {Peter J. Stuckey} and {Michael Woodward} and {Michael Wybrow}}
}
@inproceedings{conf/cp/ChuS09,
title = {Minimizing the Maximum Number of Open Stacks by Customer Search.},
year = {2009},
booktitle = {CP},
author = {{Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/cp/ChuSB09,
title = {Using Relaxations in Maximum Density Still Life.},
year = {2009},
booktitle = {CP},
author = {{Geoffrey Chu} and {Peter J. Stuckey} and {Maria Garcia de la Banda}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/cp/ChuSS09,
title = {Confidence-Based Work Stealing in Parallel Constraint Programming.},
year = {2009},
booktitle = {CP},
author = {{Geoffrey Chu} and {Christian Schulte 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/cp/FeydyS09,
title = {Lazy Clause Generation Reengineered.},
year = {2009},
booktitle = {CP},
author = {{Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/cp/FrischS09,
title = {The Proper Treatment of Undefinedness in Constraint Languages.},
year = {2009},
booktitle = {CP},
author = {{Alan M. Frisch} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/cp/ReischukSST09,
title = {Maintaining State in Propagation Solvers.},
year = {2009},
booktitle = {CP},
author = {{Raphael M. Reischuk} and {Christian Schulte 001} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/cp/SchuttFSW09,
title = {Why Cumulative Decomposition Is Not as Bad as It Sounds.},
year = {2009},
booktitle = {CP},
author = {{Andreas Schutt} and {Thibaut Feydy} and {Peter J. Stuckey} and {Mark Wallace 001}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings}
}
@inproceedings{conf/dagstuhl/PuchingerSWB09,
title = {Branch-and-Price Solving in G12.},
year = {2009},
booktitle = {Models and Algorithms for Optimization in Logistics},
author = {{Jakob Puchinger} and {Peter J. Stuckey} and {Mark Wallace 001} and {Sebastian Brand}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Models and Algorithms for Optimization in Logistics, 21.06. - 26.06.2009}
}
@inproceedings{conf/gd/WybrowMS09,
title = {Orthogonal Connector Routing.},
year = {2009},
booktitle = {GD},
author = {{Michael Wybrow} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Graph Drawing, 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers}
}
@inproceedings{conf/iclp/KoninckDS09,
title = {Demand-Driven Normalisation for ACD Term Rewriting.},
year = {2009},
booktitle = {ICLP},
author = {{Leslie De Koninck} and {Gregory J. Duck} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}
}
@inproceedings{conf/ppdp/CodishGS09,
title = {A declarative encoding of telecommunications feature subscription in SAT.},
year = {2009},
booktitle = {PPDP},
author = {{Michael Codish} and {Samir Genaim} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal}
}
@article{journals/bmcbi/StivalaWS09,
title = {Tableau-based protein substructure search using quadratic programming.},
year = {2009},
journal = {BMC Bioinform.},
author = {{Alex D. Stivala} and {Anthony Wirth} and {Peter J. Stuckey}}
}
@article{journals/constraints/FeydyS09,
title = {Propagating systems of dense linear integer constraints.},
year = {2009},
journal = {Constraints An Int. J.},
author = {{Thibaut Feydy} and {Peter J. Stuckey}}
}
@article{journals/constraints/OhrimenkoSC09,
title = {Propagation via lazy clause generation.},
year = {2009},
journal = {Constraints An Int. J.},
author = {{Olga Ohrimenko} and {Peter J. Stuckey} and {Michael Codish}}
}
@article{journals/jfp/SchrijversSW09,
title = {Monadic constraint programming.},
year = {2009},
journal = {J. Funct. Program.},
author = {{Tom Schrijvers} and {Peter J. Stuckey} and {Philip Wadler}}
}
@article{journals/jsat/ChuHS09,
title = {Cache Conscious Data Structures for Boolean Satisfiability Solvers.},
year = {2009},
journal = {J. Satisf. Boolean Model. Comput.},
author = {{Geoffrey Chu} and {Aaron Harwood} and {Peter J. Stuckey}}
}
@article{journals/toplas/SchulteS09,
title = {Erratum to "Efficient constraint propagation engines".},
year = {2009},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Christian Schulte 001} and {Peter J. Stuckey}}
}
@inproceedings{conf/acsc/DowningSW10,
title = {Improved consensus clustering via linear programming.},
year = {2010},
booktitle = {ACSC},
author = {{Nicholas Downing} and {Peter J. Stuckey} and {Anthony Wirth}},
publisher = {Australian Computer Society},
booktitle = {Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings}
}
@inproceedings{conf/cpaior/BertholdFS10,
title = {Rapid Learning for Binary Programs.},
year = {2010},
booktitle = {CPAIOR},
author = {{Timo Berthold} and {Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings}
}
@inproceedings{conf/cpaior/ChuBS10,
title = {Automatically Exploiting Subproblem Equivalence in Constraint Programming.},
year = {2010},
booktitle = {CPAIOR},
author = {{Geoffrey Chu} and {Maria Garcia de la Banda} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings}
}
@inproceedings{conf/cpaior/Stuckey10,
title = {Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.},
year = {2010},
booktitle = {CPAIOR},
author = {{Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings}
}
@inproceedings{conf/gd/GangeSM10,
title = {Optimal k-Level Planarization and Crossing Minimization.},
year = {2010},
booktitle = {GD},
author = {{Graeme Gange} and {Peter J. Stuckey} and {Kim Marriott}},
publisher = {Springer},
booktitle = {Graph Drawing - 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers}
}
@article{journals/bioinformatics/GaireBBCSH10,
title = {MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer.},
year = {2010},
journal = {Bioinform.},
author = {{Raj K. Gaire} and {James Bailey 001} and {Jennifer Bearfoot} and {Ian G. Campbell} and {Peter J. Stuckey} and {Izhak Haviv}}
}
@article{journals/bmcbi/StivalaSW10,
title = {Fast and accurate protein substructure searching with simulated annealing and GPUs.},
year = {2010},
journal = {BMC Bioinform.},
author = {{Alex D. Stivala} and {Peter J. Stuckey} and {Anthony Wirth}}
}
@article{journals/constraints/Stuckey10,
title = {Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008).},
year = {2010},
journal = {Constraints An Int. J.},
author = {{Peter J. Stuckey}}
}
@article{journals/constraints/StuckeyBF10,
title = {Philosophy of the MiniZinc challenge.},
year = {2010},
journal = {Constraints An Int. J.},
author = {{Peter J. Stuckey} and {Ralph Becket} and {Julien Fischer}}
}
@article{journals/corr/abs-1009-0347,
title = {Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation},
year = {2010},
journal = {CoRR},
author = {{Andreas Schutt} and {Thibaut Feydy} and {Peter J. Stuckey} and {Mark G. Wallace 001}}
}
@article{journals/informs/SchuttS10,
title = {Incremental Satisfiability and Implication for UTVPI Constraints.},
year = {2010},
journal = {INFORMS J. Comput.},
author = {{Andreas Schutt} and {Peter J. Stuckey}}
}
@article{journals/jair/GangeSL10,
title = {Fast Set Bounds Propagation Using a BDD-SAT Hybrid.},
year = {2010},
journal = {J. Artif. Intell. Res.},
author = {{Graeme Gange} and {Peter J. Stuckey} and {Vitaly Lagoon}}
}
@article{journals/jpdc/StivalaSBHW10,
title = {Lock-free parallel dynamic programming.},
year = {2010},
journal = {J. Parallel Distributed Comput.},
author = {{Alex D. Stivala} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {Manuel V. Hermenegildo} and {Anthony Wirth}}
}
@inproceedings{conf/cp/FeydySS11,
title = {Half Reification and Flattening.},
year = {2011},
booktitle = {CP},
author = {{Thibaut Feydy} and {Zoltan Somogyi} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings}
}
@inproceedings{conf/cp/MetodiCLS11,
title = {Boolean Equi-propagation for Optimized SAT Encoding.},
year = {2011},
booktitle = {CP},
author = {{Amit Metodi} and {Michael Codish} and {Vitaly Lagoon} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings}
}
@inproceedings{conf/cp/SchuttSV11,
title = {Optimal Carpet Cutting.},
year = {2011},
booktitle = {CP},
author = {{Andreas Schutt} and {Peter J. Stuckey} and {Andrew R. Verden}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings}
}
@inproceedings{conf/doceng/GangeMMS11,
title = {Optimal automatic table layout.},
year = {2011},
booktitle = {ACM Symposium on Document Engineering},
author = {{Graeme Gange} and {Kim Marriott} and {Peter Moulder} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 2011 ACM Symposium on Document Engineering, Mountain View, CA, USA, September 19-22, 2011}
}
@inproceedings{conf/iclp/KoninckBS11,
title = {Constraints in Non-Boolean Contexts.},
year = {2011},
booktitle = {ICLP (Technical Communications)},
author = {{Leslie De Koninck} and {Sebastian Brand} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA}
}
@inproceedings{conf/ijcai/ChuSBM11,
title = {Symmetries and Lazy Clause Generation.},
year = {2011},
booktitle = {IJCAI},
author = {{Geoffrey Chu} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {Christopher Mears}},
publisher = {IJCAI/AAAI},
booktitle = {IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}
}
@inproceedings{conf/sat/AbioDNS11,
title = {Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.},
year = {2011},
booktitle = {SAT},
author = {{Ignasi Abío} and {Morgan Deters} and {Robert Nieuwenhuis} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings}
}
@inproceedings{conf/wflp/WuilleSSTS11,
title = {Memoizing a Monadic Mixin DSL.},
year = {2011},
booktitle = {WFLP},
author = {{Pieter Wuille} and {Tom Schrijvers} and {Horst Samulowitz} and {Guido Tack} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings}
}
@article{journals/bioinformatics/KonagurthuASL11,
title = {Piecewise linear approximation of protein structures using the principle of minimum message length.},
year = {2011},
journal = {Bioinform.},
author = {{Arun Siddharth Konagurthu} and {Lloyd Allison} and {Peter J. Stuckey} and {Arthur M. Lesk}}
}
@article{journals/bioinformatics/StivalaWWWS11,
title = {Automatic generation of protein structure cartoons with Pro-origami.},
year = {2011},
journal = {Bioinform.},
author = {{Alex D. Stivala} and {Michael Wybrow} and {Anthony Wirth} and {James C. Whisstock} and {Peter J. Stuckey}}
}
@article{journals/constraints/BaatarBBS11,
title = {CP and IP approaches to cancer radiotherapy delivery optimization.},
year = {2011},
journal = {Constraints An Int. J.},
author = {{Davaatseren Baatar} and {Natashia Boland} and {Sebastian Brand} and {Peter J. Stuckey}}
}
@article{journals/constraints/GangeSS11,
title = {MDD propagators with explanation.},
year = {2011},
journal = {Constraints An Int. J.},
author = {{Graeme Gange} and {Peter J. Stuckey} and {Radoslaw Szymanek}}
}
@article{journals/constraints/PuchingerSWB11,
title = {Dantzig-Wolfe decomposition and branch-and-price solving in G12.},
year = {2011},
journal = {Constraints An Int. J.},
author = {{Jakob Puchinger} and {Peter J. Stuckey} and {Mark G. Wallace 001} and {Sebastian Brand}}
}
@article{journals/constraints/SchuttFSW11,
title = {Explaining the cumulative propagator.},
year = {2011},
journal = {Constraints An Int. J.},
author = {{Andreas Schutt} and {Thibaut Feydy} and {Peter J. Stuckey} and {Mark G. Wallace 001}}
}
@article{journals/informs/BandaSC11,
title = {Solving Talent Scheduling with Dynamic Programming.},
year = {2011},
journal = {INFORMS J. Comput.},
author = {{Maria Garcia de la Banda} and {Peter J. Stuckey} and {Geoffrey Chu}}
}
@inproceedings{conf/acsc/DowningFS12,
title = {Explaining alldifferent.},
year = {2012},
booktitle = {ACSC},
author = {{Nicholas Downing} and {Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Australian Computer Society},
booktitle = {Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012}
}
@inproceedings{conf/aplas/NavasSSS12,
title = {Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code.},
year = {2012},
booktitle = {APLAS},
author = {{Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings}
}
@inproceedings{conf/cp/AbioS12,
title = {Conflict Directed Lazy Decomposition.},
year = {2012},
booktitle = {CP},
author = {{Ignasi Abío} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings}
}
@inproceedings{conf/cp/ChuS12,
title = {A Generic Method for Identifying and Exploiting Dominance Relations.},
year = {2012},
booktitle = {CP},
author = {{Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings}
}
@inproceedings{conf/cp/ChuS12a,
title = {Inter-instance Nogood Learning in Constraint Programming.},
year = {2012},
booktitle = {CP},
author = {{Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings}
}
@inproceedings{conf/cp/FrancisBS12,
title = {Optimisation Modelling for Software Developers.},
year = {2012},
booktitle = {CP},
author = {{Kathryn Francis} and {Sebastian Brand} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings}
}
@inproceedings{conf/cp/GuSW12,
title = {Maximising the Net Present Value of Large Resource-Constrained Projects.},
year = {2012},
booktitle = {CP},
author = {{Hanyu Gu} and {Peter J. Stuckey} and {Mark G. Wallace 001}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings}
}
@inproceedings{conf/cpaior/DowningFS12,
title = {Explaining Flow-Based Propagation.},
year = {2012},
booktitle = {CPAIOR},
author = {{Nicholas Downing} and {Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings}
}
@inproceedings{conf/cpaior/GangeS12,
title = {Explaining Propagators for s-DNNF Circuits.},
year = {2012},
booktitle = {CPAIOR},
author = {{Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings}
}
@inproceedings{conf/cpaior/SchuttCSW12,
title = {Maximising the Net Present Value for Resource-Constrained Project Scheduling.},
year = {2012},
booktitle = {CPAIOR},
author = {{Andreas Schutt} and {Geoffrey Chu} and {Peter J. Stuckey} and {Mark G. Wallace 001}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems - 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings}
}
@inproceedings{conf/diagrams/WybrowMS12,
title = {Orthogonal Hyperedge Routing.},
year = {2012},
booktitle = {Diagrams},
author = {{Michael Wybrow} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings}
}
@inproceedings{conf/doceng/GangeMS12,
title = {Optimal guillotine layout.},
year = {2012},
booktitle = {ACM Symposium on Document Engineering},
author = {{Graeme Gange} and {Kim Marriott} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {ACM Symposium on Document Engineering, DocEng '12, Paris, France, September 4-7, 2012}
}
@inproceedings{conf/flops/GuzmanCHS12,
title = {A General Implementation Framework for Tabled CLP.},
year = {2012},
booktitle = {FLOPS},
author = {{Pablo Chico de Guzmán} and {Manuel Carro} and {Manuel V. Hermenegildo} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings}
}
@inproceedings{conf/iclp/CatDS12,
title = {Lazy Model Expansion by Incremental Grounding.},
year = {2012},
booktitle = {ICLP (Technical Communications)},
author = {{Broes De Cat} and {Marc Denecker} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary}
}
@inproceedings{conf/lopstr/SchrijversTWSS12,
title = {An Introduction to Search Combinators.},
year = {2012},
booktitle = {LOPSTR},
author = {{Tom Schrijvers} and {Guido Tack} and {Pieter Wuille} and {Horst Samulowitz} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers}
}
@article{journals/ai/ChuS12,
title = {A complete solution to the Maximum Density Still Life Problem.},
year = {2012},
journal = {Artif. Intell.},
author = {{Geoffrey Chu} and {Peter J. Stuckey}}
}
@article{journals/aim/BarnesBCDKSSSTHW12,
title = {AI@NICTA.},
year = {2012},
journal = {AI Mag.},
author = {{Nick Barnes} and {Peter Baumgartner 001} and {Tibério S. Caetano} and {Hugh F. Durrant-Whyte} and {Gerwin Klein} and {Penelope Sanderson} and {Abdul Sattar 001} and {Peter J. Stuckey} and {Sylvie Thiébaux} and {Pascal Van Hentenryck} and {Toby Walsh}}
}
@article{journals/constraints/ChuBS12,
title = {Exploiting subproblem dominance in constraint programming.},
year = {2012},
journal = {Constraints An Int. J.},
author = {{Geoffrey Chu} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/SabharwalSSST13,
title = {Automated Design of Search with Composability.},
year = {2013},
booktitle = {AAAI (Late-Breaking Developments)},
author = {{Ashish Sabharwal} and {Horst Samulowitz} and {Tom Schrijvers} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {AAAI},
booktitle = {Late-Breaking Developments in the Field of Artificial Intelligence, Bellevue, Washington, USA, July 14-18, 2013}
}
@inproceedings{conf/cade/GangeSSS13,
title = {Solving Difference Constraints over Modular Arithmetic.},
year = {2013},
booktitle = {CADE},
author = {{Graeme Gange} and {Harald Søndergaard} and {Peter J. Stuckey} and {Peter Schachte}},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings}
}
@inproceedings{conf/cp/AbioNORS13,
title = {To Encode or to Propagate? The Best Choice for Each Constraint in SAT.},
year = {2013},
booktitle = {CP},
author = {{Ignasi Abío} and {Robert Nieuwenhuis} and {Albert Oliveras} and {Enric Rodríguez-Carbonell} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/cp/ChuS13,
title = {Dominance Driven Search.},
year = {2013},
booktitle = {CP},
author = {{Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/cp/FrancisNS13,
title = {Modelling Destructive Assignments.},
year = {2013},
booktitle = {CP},
author = {{Kathryn Francis} and {Jorge A. Navas} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/cp/GangeSH13,
title = {Explaining Propagators for Edge-Valued Decision Diagrams.},
year = {2013},
booktitle = {CP},
author = {{Graeme Gange} and {Peter J. Stuckey} and {Pascal Van Hentenryck}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/cp/SchuttFS13,
title = {Scheduling Optional Tasks with Explanation.},
year = {2013},
booktitle = {CP},
author = {{Andreas Schutt} and {Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/cp/Stuckey13,
title = {Those Who Cannot Remember the Past Are Condemned to Repeat It.},
year = {2013},
booktitle = {CP},
author = {{Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings}
}
@inproceedings{conf/cpaior/GuSS13,
title = {A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects.},
year = {2013},
booktitle = {CPAIOR},
author = {{Hanyu Gu} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}
}
@inproceedings{conf/cpaior/SchuttFS13,
title = {Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint.},
year = {2013},
booktitle = {CPAIOR},
author = {{Andreas Schutt} and {Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}
}
@inproceedings{conf/cpaior/StuckeyT13,
title = {MiniZinc with Functions.},
year = {2013},
booktitle = {CPAIOR},
author = {{Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}
}
@inproceedings{conf/icdm/KonagurthuAASL13,
title = {Statistical Inference of Protein "LEGO Bricks".},
year = {2013},
booktitle = {ICDM},
author = {{Arun Siddharth Konagurthu} and {Lloyd Allison} and {David Abramson 001} and {Peter J. Stuckey} and {Arthur M. Lesk}},
publisher = {IEEE Computer Society},
booktitle = {2013 IEEE 13th International Conference on Data Mining, Dallas, TX, USA, December 7-10, 2013}
}
@inproceedings{conf/ijcai/CodishMPS13,
title = {Breaking Symmetries in Graph Representation.},
year = {2013},
booktitle = {IJCAI},
author = {{Michael Codish} and {Alice Miller 001} and {Patrick Prosser} and {Peter James Stuckey}},
publisher = {IJCAI/AAAI},
booktitle = {IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013}
}
@inproceedings{conf/ppdp/CaballeroST13,
title = {Finite type extensions in constraint programming.},
year = {2013},
booktitle = {PPDP},
author = {{Rafael Caballero 001} and {Peter J. Stuckey} and {Antonio Tenorio-Fornes}},
publisher = {ACM},
booktitle = {15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013}
}
@inproceedings{conf/sas/GangeNSSS13,
title = {Abstract Interpretation over Non-lattice Abstract Domains.},
year = {2013},
booktitle = {SAS},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings}
}
@inproceedings{conf/sat/Stuckey13,
title = {There Are No CNF Problems.},
year = {2013},
booktitle = {SAT},
author = {{Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings}
}
@inproceedings{conf/tacas/GangeNSSS13,
title = {Unbounded Model-Checking with Interpolation for Regular Language Constraints.},
year = {2013},
booktitle = {TACAS},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter J. Stuckey} and {Harald Søndergaard} and {Peter Schachte}},
publisher = {Springer},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings}
}
@article{journals/bmcbi/GaireSHBSH13,
title = {Discovery and analysis of consistent active sub-networks in cancers.},
year = {2013},
journal = {BMC Bioinform.},
author = {{Raj K. Gaire} and {Lorey Smith} and {Patrick Humbert} and {James Bailey 001} and {Peter J. Stuckey} and {Izhak Haviv}}
}
@article{journals/constraints/SchrijversTWSS13,
title = {Search combinators.},
year = {2013},
journal = {Constraints An Int. J.},
author = {{Tom Schrijvers} and {Guido Tack} and {Pieter Wuille} and {Horst Samulowitz} and {Peter J. Stuckey}}
}
@article{journals/corr/ChuS13,
title = {Structure Based Extended Resolution for Constraint Programming.},
year = {2013},
journal = {CoRR},
author = {{Geoffrey Chu} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-1305-1690,
title = {Unsatisfiable Cores for Constraint Programming},
year = {2013},
journal = {CoRR},
author = {{Nicholas Downing} and {Thibaut Feydy} and {Peter J. Stuckey}}
}
@article{journals/jair/AMCS13,
title = {Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.},
year = {2013},
journal = {J. Artif. Intell. Res.},
author = {{Amit Metodi} and {Michael Codish} and {Peter J. Stuckey}}
}
@article{journals/scheduling/SchuttFSW13,
title = {Solving RCPSP/max by lazy clause generation.},
year = {2013},
journal = {J. Sched.},
author = {{Andreas Schutt} and {Thibaut Feydy} and {Peter J. Stuckey} and {Mark G. Wallace 001}}
}
@article{journals/tplp/AlbertBGRS13,
title = {A CLP heap solver for test case generation.},
year = {2013},
journal = {Theory Pract. Log. Program.},
author = {{Elvira Albert} and {Maria J. García de la Banda} and {Miguel Gómez-Zamalloa} and {José Miguel Rojas} and {Peter J. Stuckey}}
}
@article{journals/tplp/AzizCS13,
title = {Stable model semantics for founded bounds.},
year = {2013},
journal = {Theory Pract. Log. Program.},
author = {{Rehan Abdul Aziz} and {Geoffrey Chu} and {Peter J. Stuckey}}
}
@article{journals/tplp/GangeNSSS13,
title = {Failure tabled constraint logic programming by interpolation.},
year = {2013},
journal = {Theory Pract. Log. Program.},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/aips/DaviesPSS14,
title = {Fragment-Based Planning Using Column Generation.},
year = {2014},
booktitle = {ICAPS},
author = {{Toby O. Davies} and {Adrian R. Pearce} and {Peter J. Stuckey} and {Harald Søndergaard}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014}
}
@inproceedings{conf/aips/LipovetzkyBPS14,
title = {Planning for Mining Operations with Time and Resource Constraints.},
year = {2014},
booktitle = {ICAPS},
author = {{Nir Lipovetzky} and {Christina N. Burt} and {Adrian R. Pearce} and {Peter J. Stuckey}},
publisher = {AAAI},
booktitle = {Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2014, Portsmouth, New Hampshire, USA, June 21-26, 2014}
}
@inproceedings{conf/cp/AbioS14,
title = {Encoding Linear Constraints into SAT.},
year = {2014},
booktitle = {CP},
author = {{Ignasi Abío} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings}
}
@inproceedings{conf/cp/AmadiniS14,
title = {Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers.},
year = {2014},
booktitle = {CP},
author = {{Roberto Amadini} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings}
}
@inproceedings{conf/cp/ChuS14,
title = {Nested Constraint Programs.},
year = {2014},
booktitle = {CP},
author = {{Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings}
}
@inproceedings{conf/cp/FrancisS14,
title = {Loop Untangling.},
year = {2014},
booktitle = {CP},
author = {{Kathryn Francis} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings}
}
@inproceedings{conf/cp/RendlTS14,
title = {Stochastic MiniZinc.},
year = {2014},
booktitle = {CP},
author = {{Andrea Rendl} and {Guido Tack} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings}
}
@inproceedings{conf/cpaior/BelovBSS14,
title = {Local Search for a Cargo Assembly Planning Problem.},
year = {2014},
booktitle = {CPAIOR},
author = {{Gleb Belov} and {Natashia Boland} and {Martin W. P. Savelsbergh} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings}
}
@inproceedings{conf/cpaior/MearsSSTMW14,
title = {Modelling with Option Types in MiniZinc.},
year = {2014},
booktitle = {CPAIOR},
author = {{Christopher Mears} and {Andreas Schutt} and {Peter J. Stuckey} and {Guido Tack} and {Kim Marriott} and {Mark Wallace 001}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings}
}
@inproceedings{conf/diagrams/MarriottSW14,
title = {Seeing Around Corners: Fast Orthogonal Connector Routing.},
year = {2014},
booktitle = {Diagrams},
author = {{Kim Marriott} and {Peter J. Stuckey} and {Michael Wybrow}},
publisher = {Springer},
booktitle = {Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings}
}
@inproceedings{conf/lopstr/CornishGNSSS14,
title = {Analyzing Array Manipulating Programs by Program Transformation.},
year = {2014},
booktitle = {LOPSTR},
author = {{J. Robert M. Cornish} and {Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers}
}
@article{journals/aim/StuckeyFSTF14,
title = {The MiniZinc Challenge 2008-2013.},
year = {2014},
journal = {AI Mag.},
author = {{Peter J. Stuckey} and {Thibaut Feydy} and {Andreas Schutt} and {Guido Tack} and {Julien Fischer}}
}
@article{journals/constraints/BandaSHW14,
title = {The future of optimization technology.},
year = {2014},
journal = {Constraints An Int. J.},
author = {{Maria Garcia de la Banda} and {Peter J. Stuckey} and {Pascal Van Hentenryck} and {Mark Wallace 001}}
}
@article{journals/constraints/ChuBMS14,
title = {Symmetries, almost symmetries, and lazy clause generation.},
year = {2014},
journal = {Constraints An Int. J.},
author = {{Geoffrey Chu} and {Maria Garcia de la Banda} and {Christopher Mears} and {Peter J. Stuckey}}
}
@article{journals/constraints/FrancisS14,
title = {Explaining circuit propagation.},
year = {2014},
journal = {Constraints An Int. J.},
author = {{Kathryn Glenn Francis} and {Peter J. Stuckey}}
}
@article{journals/corr/AzizCS14,
title = {Grounding Bound Founded Answer Set Programs.},
year = {2014},
journal = {CoRR},
author = {{Rehan Abdul Aziz} and {Geoffrey Chu} and {Peter James Stuckey}}
}
@article{journals/corr/GangeNSSS14,
title = {A Partial-Order Approach to Array Content Analysis.},
year = {2014},
journal = {CoRR},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@article{journals/informs/BlomBPS14,
title = {A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines.},
year = {2014},
journal = {INFORMS J. Comput.},
author = {{Michelle L. Blom} and {Christina N. Burt} and {Adrian R. Pearce} and {Peter J. Stuckey}}
}
@article{journals/todaes/GangeSS14,
title = {Synthesizing Optimal Switching Lattices.},
year = {2014},
journal = {ACM Trans. Design Autom. Electr. Syst.},
author = {{Graeme Gange} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@article{journals/toplas/GangeNSSS14,
title = {Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss.},
year = {2014},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/AzizCMS15,
title = {Stable Model Counting and Its Application in Probabilistic Logic Programming.},
year = {2015},
booktitle = {AAAI},
author = {{Rehan Abdul Aziz} and {Geoffrey Chu} and {Christian J. Muise} and {Peter James Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA.}
}
@inproceedings{conf/aips/DaviesPSL15,
title = {Sequencing Operator Counts.},
year = {2015},
booktitle = {ICAPS},
author = {{Toby O. Davies} and {Adrian R. Pearce} and {Peter J. Stuckey} and {Nir Lipovetzky}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015.}
}
@inproceedings{conf/atal/DaviesPSS15,
title = {Optimisation and Relaxation for Multiagent Planning in the Situation Calculus.},
year = {2015},
booktitle = {AAMAS},
author = {{Toby O. Davies} and {Adrian R. Pearce} and {Peter J. Stuckey} and {Harald Søndergaard}},
publisher = {ACM},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015}
}
@inproceedings{conf/cp/AbioMS15,
title = {Encoding Linear Constraints with Implication Chains to CNF.},
year = {2015},
booktitle = {CP},
author = {{Ignasi Abío} and {Valentin Mayer-Eichberger} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings}
}
@inproceedings{conf/cp/KreterSS15,
title = {Modeling and Solving Project Scheduling with Calendars.},
year = {2015},
booktitle = {CP},
author = {{Stefan Kreter} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings}
}
@inproceedings{conf/cp/RendlGST15,
title = {MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.},
year = {2015},
booktitle = {CP},
author = {{Andrea Rendl} and {Tias Guns} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings}
}
@inproceedings{conf/cpaior/BurtLPS15,
title = {Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study.},
year = {2015},
booktitle = {CPAIOR},
author = {{Christina N. Burt} and {Nir Lipovetzky} and {Adrian R. Pearce} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings}
}
@inproceedings{conf/cpaior/ChuS15,
title = {Learning Value Heuristics for Constraint Programming.},
year = {2015},
booktitle = {CPAIOR},
author = {{Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings}
}
@inproceedings{conf/nfm/GangeNSSS15,
title = {A Tool for Intersecting Context-Free Grammars and Its Applications.},
year = {2015},
booktitle = {NFM},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings}
}
@inproceedings{conf/pkdd/GanjiSABS15,
title = {Generalized Modularity for Community Detection.},
year = {2015},
booktitle = {ECML/PKDD (2)},
author = {{Mohadeseh Ganji} and {Abbas Seifi} and {Hosein Alizadeh} and {James Bailey 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II}
}
@inproceedings{conf/sat/AzizCMS15,
title = {#∃SAT: Projected Model Counting.},
year = {2015},
booktitle = {SAT},
author = {{Rehan Abdul Aziz} and {Geoffrey Chu} and {Christian J. Muise} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings}
}
@article{journals/constraints/ChuS15,
title = {Dominance breaking constraints.},
year = {2015},
journal = {Constraints An Int. J.},
author = {{Geoffrey Chu} and {Peter J. Stuckey}}
}
@article{journals/corr/AzizCMS15,
title = {Projected Model Counting.},
year = {2015},
journal = {CoRR},
author = {{Rehan Abdul Aziz} and {Geoffrey Chu} and {Christian J. Muise} and {Peter J. Stuckey}}
}
@article{journals/corr/DowningFS15,
title = {Unsatisfiable Cores and Lower Bounding for Constraint Programming.},
year = {2015},
journal = {CoRR},
author = {{Nicholas Downing} and {Thibaut Feydy} and {Peter J. Stuckey}}
}
@article{journals/informs/BilaucaGHMMS15,
title = {Automatic Minimal-Height Table Layout.},
year = {2015},
journal = {INFORMS J. Comput.},
author = {{Mihai Bilauca} and {Graeme Gange} and {Patrick Healy} and {Kim Marriott} and {Peter Moulder} and {Peter J. Stuckey}}
}
@article{journals/jair/CatDBS15,
title = {Lazy Model Expansion: Interleaving Grounding with Search.},
year = {2015},
journal = {J. Artif. Intell. Res.},
author = {{Broes De Cat} and {Marc Denecker} and {Maurice Bruynooghe} and {Peter J. Stuckey}}
}
@article{journals/scp/CaballeroST15,
title = {Two type extensions for the constraint modeling language MiniZinc.},
year = {2015},
journal = {Sci. Comput. Program.},
author = {{Rafael Caballero 001} and {Peter J. Stuckey} and {Antonio Tenorio-Fornes}}
}
@article{journals/tplp/GangeNSSS15,
title = {Horn clauses as an intermediate representation for program analysis and transformation.},
year = {2015},
journal = {Theory Pract. Log. Program.},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/UnaGSS16,
title = {Steiner Tree Problems with Side Constraints Using Constraint Programming.},
year = {2016},
booktitle = {AAAI},
author = {{Diego de Uña} and {Graeme Gange} and {Peter Schachte} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.}
}
@inproceedings{conf/acsc/BaxterCS16,
title = {Symmetry declarations for MiniZinc.},
year = {2016},
booktitle = {ACSW},
author = {{Nathaniel Baxter} and {Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the Australasian Computer Science Week Multiconference, Canberra, Australia, February 2-5, 2016}
}
@inproceedings{conf/atal/Stuckey16,
title = {Discrete Optimization for Agents.},
year = {2016},
booktitle = {AAMAS},
author = {{Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9-13, 2016}
}
@inproceedings{conf/cp/BelovSTW16,
title = {Improved Linearization of Constraint Programming Models.},
year = {2016},
booktitle = {CP},
author = {{Gleb Belov} and {Peter J. Stuckey} and {Guido Tack} and {Mark Wallace 001}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings}
}
@inproceedings{conf/cp/CodishGIS16,
title = {Breaking Symmetries in Graphs: The Nauty Way.},
year = {2016},
booktitle = {CP},
author = {{Michael Codish} and {Graeme Gange} and {Avraham Itzhakov} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings}
}
@inproceedings{conf/cp/FeydyS16,
title = {Interval Constraints with Learning: Application to Air Traffic Control.},
year = {2016},
booktitle = {CP},
author = {{Thibaut Feydy} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings}
}
@inproceedings{conf/cp/SchuttS16,
title = {Explaining Producer/Consumer Constraints.},
year = {2016},
booktitle = {CP},
author = {{Andreas Schutt} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings}
}
@inproceedings{conf/cp/UnaGSS16,
title = {A Bounded Path Propagator on Directed Graphs.},
year = {2016},
booktitle = {CP},
author = {{Diego de Uña} and {Graeme Gange} and {Peter Schachte} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings}
}
@inproceedings{conf/cpaior/AbioGMS16,
title = {On CNF Encodings of Decision Diagrams.},
year = {2016},
booktitle = {CPAIOR},
author = {{Ignasi Abío} and {Graeme Gange} and {Valentin Mayer-Eichberger} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}
}
@inproceedings{conf/cpaior/ChuGS16,
title = {Lagrangian Decomposition via Sub-problem Search.},
year = {2016},
booktitle = {CPAIOR},
author = {{Geoffrey Chu} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}
}
@inproceedings{conf/cpaior/EhlersS16,
title = {Parallelizing Constraint Programming with Learning.},
year = {2016},
booktitle = {CPAIOR},
author = {{Thorsten Ehlers} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}
}
@inproceedings{conf/cpaior/HaraborS16,
title = {Rail Capacity Modelling with Constraint Programming.},
year = {2016},
booktitle = {CPAIOR},
author = {{Daniel Harabor} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}
}
@inproceedings{conf/cpaior/UnaGSS16,
title = {Weighted Spanning Tree Constraint with Explanations.},
year = {2016},
booktitle = {CPAIOR},
author = {{Diego de Uña} and {Graeme Gange} and {Peter Schachte} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}
}
@inproceedings{conf/cpaior/WangSS16,
title = {A Bit-Vector Solver with Word-Level Propagation.},
year = {2016},
booktitle = {CPAIOR},
author = {{Wenxi Wang} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings}
}
@inproceedings{conf/ecai/BlomTST16,
title = {Efficient Computation of Exact IRV Margins.},
year = {2016},
booktitle = {ECAI},
author = {{Michelle L. Blom} and {Vanessa Teague} and {Peter J. Stuckey} and {Ron Tidhar}},
publisher = {IOS Press},
booktitle = {ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016)}
}
@inproceedings{conf/iclp/GangeS16,
title = {Constraint Propagation and Explanation over Novel Types by Abstract Compilation.},
year = {2016},
booktitle = {ICLP (Technical Communications)},
author = {{Graeme Gange} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA}
}
@inproceedings{conf/lopstr/AmadiniFPSST16,
title = {MiniZinc with Strings.},
year = {2016},
booktitle = {LOPSTR},
author = {{Roberto Amadini} and {Pierre Flener} and {Justin Pearson} and {Joseph D. Scott} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers}
}
@inproceedings{conf/sas/GangeNSSS16,
title = {Exploiting Sparsity in Difference-Bound Matrices.},
year = {2016},
booktitle = {SAS},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings}
}
@inproceedings{conf/sdm/GanjiBS16,
title = {Lagrangian Constrained Clustering.},
year = {2016},
booktitle = {SDM},
author = {{Mohadeseh Ganji} and {James Bailey 001} and {Peter J. Stuckey}},
publisher = {SIAM},
booktitle = {Proceedings of the 2016 SIAM International Conference on Data Mining, Miami, Florida, USA, May 5-7, 2016}
}
@inproceedings{conf/vmcai/GangeNSSS16,
title = {An Abstract Domain of Uninterpreted Functions.},
year = {2016},
booktitle = {VMCAI},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings}
}
@article{journals/mansci/BlomPS16,
title = {A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods.},
year = {2016},
journal = {Manag. Sci.},
author = {{Michelle L. Blom} and {Adrian R. Pearce} and {Peter J. Stuckey}}
}
@article{journals/tcs/GangeNSSS16,
title = {A complete refinement procedure for regular separability of context-free languages.},
year = {2016},
journal = {Theor. Comput. Sci.},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/DaviesGS17,
title = {Automatic Logic-Based Benders Decomposition with MiniZinc.},
year = {2017},
booktitle = {AAAI},
author = {{Toby O. Davies} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.}
}
@inproceedings{conf/atva/GangeGS17,
title = {Fixing the State Budget: Approximation of Regular Languages with Small DFAs.},
year = {2017},
booktitle = {ATVA},
author = {{Graeme Gange} and {Pierre Ganty} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings}
}
@inproceedings{conf/cav/AlbertABGS17,
title = {Context-Sensitive Dynamic Partial Order Reduction.},
year = {2017},
booktitle = {CAV (1)},
author = {{Elvira Albert} and {Puri Arenas} and {Maria Garcia de la Banda} and {Miguel Gómez-Zamalloa} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I}
}
@inproceedings{conf/cp/AmadiniGST17,
title = {A Novel Approach to String Constraint Solving.},
year = {2017},
booktitle = {CP},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}
}
@inproceedings{conf/cp/GanjiBS17,
title = {A Declarative Approach to Constrained Community Detection.},
year = {2017},
booktitle = {CP},
author = {{Mohadeseh Ganji} and {James Bailey 001} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}
}
@inproceedings{conf/cpaior/BeldiceanuCDPSS17,
title = {Range-Consistent Forbidden Regions of Allen's Relations.},
year = {2017},
booktitle = {CPAIOR},
author = {{Nicolas Beldiceanu} and {Mats Carlsson} and {Alban Derrien} and {Charles Prud'homme} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings}
}
@inproceedings{conf/cpaior/UnaGSS17,
title = {Minimizing Landscape Resistance for Habitat Conservation.},
year = {2017},
booktitle = {CPAIOR},
author = {{Diego de Uña} and {Graeme Gange} and {Peter Schachte} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings}
}
@inproceedings{conf/dcc/SubramanianASBA17,
title = {Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes.},
year = {2017},
booktitle = {DCC},
author = {{Ramanan Subramanian} and {Lloyd Allison} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {David Abramson 001} and {Arthur M. Lesk} and {Arun Siddharth Konagurthu}},
publisher = {IEEE},
booktitle = {2017 Data Compression Conference, DCC 2017, Snowbird, UT, USA, April 4-7, 2017}
}
@inproceedings{conf/sat/KafleGSSS17,
title = {A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.},
year = {2017},
booktitle = {SAT},
author = {{Bishoksan Kafle} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}
}
@inproceedings{conf/tacas/AmadiniJGGSSSZ17,
title = {Combining String Abstract Domains for JavaScript Analysis: An Evaluation.},
year = {2017},
booktitle = {TACAS (1)},
author = {{Roberto Amadini} and {Alexander Jordan} and {Graeme Gange} and {François Gauthier 001} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey} and {Chenyi Zhang}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I}
}
@article{journals/bioinformatics/CollierALSB17,
title = {Statistical inference of protein structural alignments using information and compression.},
year = {2017},
journal = {Bioinform.},
author = {{James H. Collier} and {Lloyd Allison} and {Arthur M. Lesk} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {Arun Siddharth Konagurthu}}
}
@article{journals/constraints/KreterSS17,
title = {Using constraint programming for solving RCPSP/max-cal.},
year = {2017},
journal = {Constraints An Int. J.},
author = {{Stefan Kreter} and {Andreas Schutt} and {Peter J. Stuckey}}
}
@article{journals/corr/BlomST17,
title = {Towards Computing Victory Margins in STV Elections.},
year = {2017},
journal = {CoRR},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa J. Teague}}
}
@inproceedings{conf/aaai/AmadiniGS18,
title = {Sweep-Based Propagation for String Constraint Solving.},
year = {2018},
booktitle = {AAAI},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}
}
@inproceedings{conf/aaai/GanjiBS18,
title = {Lagrangian Constrained Community Detection.},
year = {2018},
booktitle = {AAAI},
author = {{Mohadeseh Ganji} and {James Bailey 001} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}
}
@inproceedings{conf/apvis/ZarateBDGS18,
title = {Optimal Sankey Diagrams Via Integer Programming.},
year = {2018},
booktitle = {PacificVis},
author = {{David Cheng Zarate} and {Pierre Le Bodic} and {Tim Dwyer} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {IEEE Computer Society},
booktitle = {IEEE Pacific Visualization Symposium, PacificVis 2018, Kobe, Japan, April 10-13, 2018}
}
@inproceedings{conf/cp/AmadiniGS18,
title = {Propagating Regular Membership with Dashed Strings.},
year = {2018},
booktitle = {CP},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings}
}
@inproceedings{conf/cp/DekkerBSST18,
title = {Solver-Independent Large Neighbourhood Search.},
year = {2018},
booktitle = {CP},
author = {{Jip J. Dekker} and {Maria Garcia de la Banda} and {Andreas Schutt} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings}
}
@inproceedings{conf/cp/DemirovicCS18,
title = {Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers.},
year = {2018},
booktitle = {CP},
author = {{Emir Demirovic} and {Geoffrey Chu} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings}
}
@inproceedings{conf/cp/GangeS18,
title = {Sequential Precede Chain for Value Symmetry Elimination.},
year = {2018},
booktitle = {CP},
author = {{Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings}
}
@inproceedings{conf/cpaior/AmadiniGS18,
title = {Propagating lex, find and replace with Dashed Strings.},
year = {2018},
booktitle = {CPAIOR},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings}
}
@inproceedings{conf/cpaior/DemirovicS18,
title = {Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts.},
year = {2018},
booktitle = {CPAIOR},
author = {{Emir Demirovic} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings}
}
@inproceedings{conf/cpaior/MusliuSS18,
title = {Solver Independent Rotating Workforce Scheduling.},
year = {2018},
booktitle = {CPAIOR},
author = {{Nysret Musliu} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings}
}
@inproceedings{conf/flops/CodishEGIS18,
title = {Breaking Symmetries with Lex Implications.},
year = {2018},
booktitle = {FLOPS},
author = {{Michael Codish} and {Thorsten Ehlers} and {Graeme Gange} and {Avraham Itzhakov} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings}
}
@inproceedings{conf/ictai/BjordalFPST18,
title = {Declarative Local-Search Neighbourhoods in MiniZinc.},
year = {2018},
booktitle = {ICTAI},
author = {{Gustav Björdal} and {Pierre Flener} and {Justin Pearson} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {IEEE},
booktitle = {IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece.}
}
@inproceedings{conf/ijcai/UnaRGSS18,
title = {Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping.},
year = {2018},
booktitle = {IJCAI},
author = {{Diego de Uña} and {Nataliia Rümmele} and {Graeme Gange} and {Peter Schachte} and {Peter J. Stuckey}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.}
}
@inproceedings{conf/pkdd/GanjiCSBLRP18,
title = {Semi-supervised Blockmodelling with Pairwise Guidance.},
year = {2018},
booktitle = {ECML/PKDD (2)},
author = {{Mohadeseh Ganji} and {Jeffrey Chan} and {Peter J. Stuckey} and {James Bailey 001} and {Christopher Leckie} and {Kotagiri Ramamohanarao} and {Laurence A. F. Park}},
publisher = {Springer},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part II}
}
@inproceedings{conf/rsff/ArtiguesHPSS18,
title = {Data instance generator and optimization models for evacuation planning in the event of wildfire.},
year = {2018},
booktitle = {RSFF},
author = {{Christian Artigues} and {Emmanuel Hébrard} and {Yannick Pencolé} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {CEUR-WS.org},
booktitle = {Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, RSFF 2018, L'Aquila, Italy, July 19-20, 2018.}
}
@inproceedings{conf/sdm/GanjiCSBLRD18,
title = {Image Constrained Blockmodelling: A Constraint Programming Approach.},
year = {2018},
booktitle = {SDM},
author = {{Mohadeseh Ganji} and {Jeffrey Chan} and {Peter J. Stuckey} and {James Bailey 001} and {Christopher Leckie} and {Kotagiri Ramamohanarao} and {Ian Davidson}},
publisher = {SIAM},
booktitle = {Proceedings of the 2018 SIAM International Conference on Data Mining, SDM 2018, May 3-5, 2018, San Diego Marriott Mission Valley, San Diego, CA, USA.}
}
@inproceedings{conf/socs/HaraborS18,
title = {Forward Search in Contraction Hierarchies.},
year = {2018},
booktitle = {SOCS},
author = {{Daniel Damir Harabor} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Eleventh International Symposium on Combinatorial Search, SOCS 2018, Stockholm, Sweden - 14-15 July 2018}
}
@inproceedings{conf/voteid/BlomST18,
title = {Computing the Margin of Victory in Preferential Parliamentary Elections.},
year = {2018},
booktitle = {E-Vote-ID},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa J. Teague}},
publisher = {Springer},
booktitle = {Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings}
}
@inproceedings{conf/voteid/BlomST18a,
title = {Ballot-Polling Risk Limiting Audits for IRV Elections.},
year = {2018},
booktitle = {E-Vote-ID},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa J. Teague}},
publisher = {Springer},
booktitle = {Electronic Voting - Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings}
}
@article{journals/corr/abs-1808-03326,
title = {Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018).},
year = {2018},
journal = {CoRR},
author = {{Fred Mesnard} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-1811-06771,
title = {Precondition Inference via Partitioning of Initial States.},
year = {2018},
journal = {CoRR},
author = {{Bishoksan Kafle} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-1812-09207,
title = {Solution Dominance over Constraint Satisfaction Problems.},
year = {2018},
journal = {CoRR},
author = {{Tias Guns} and {Peter J. Stuckey} and {Guido Tack}}
}
@article{journals/eor/KreterSSZ18,
title = {Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems.},
year = {2018},
journal = {Eur. J. Oper. Res.},
author = {{Stefan Kreter} and {Andreas Schutt} and {Peter J. Stuckey} and {Jürgen Zimmermann 001}}
}
@article{journals/fuin/AmadiniGGJSSSZ18,
title = {Reference Abstract Domains and Applications to String Analysis.},
year = {2018},
journal = {Fundam. Informaticae},
author = {{Roberto Amadini} and {Graeme Gange} and {François Gauthier 001} and {Alexander Jordan} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey} and {Chenyi Zhang}}
}
@article{journals/tplp/KafleGGS18,
title = {An iterative approach to precondition inference using constrained Horn clauses.},
year = {2018},
journal = {Theory Pract. Log. Program.},
author = {{Bishoksan Kafle} and {John P. Gallagher} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/0001HSLK19,
title = {Searching with Consistent Prioritization for Multi-Agent Path Finding.},
year = {2019},
booktitle = {AAAI},
author = {{Hang Ma 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Jiaoyang Li 001} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.}
}
@inproceedings{conf/aaai/LiHS0K19,
title = {Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding.},
year = {2019},
booktitle = {AAAI},
author = {{Jiaoyang Li 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Hang Ma 001} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.}
}
@inproceedings{conf/aips/ChiariZBGHSSS19,
title = {Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols.},
year = {2019},
booktitle = {ICAPS},
author = {{Mattia Chiari} and {Shizhe Zhao} and {Adi Botea} and {Alfonso Emilio Gerevini} and {Daniel Harabor} and {Alessandro Saetti} and {Matteo Salvetti} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019.}
}
@inproceedings{conf/aips/GangeHS19,
title = {Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation.},
year = {2019},
booktitle = {ICAPS},
author = {{Graeme Gange} and {Daniel Harabor} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019.}
}
@inproceedings{conf/aips/LiHS0K19,
title = {Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search.},
year = {2019},
booktitle = {ICAPS},
author = {{Jiaoyang Li 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Hang Ma 001} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019.}
}
@inproceedings{conf/aplas/GangeNSSS19,
title = {Dissecting Widening: Separating Termination from Information.},
year = {2019},
booktitle = {APLAS},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings}
}
@inproceedings{conf/arith/AndrlonSSS19,
title = {Optimal Bounds for Floating-Point Addition in Constant Time.},
year = {2019},
booktitle = {ARITH},
author = {{Mak Andrlon} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {IEEE},
booktitle = {26th IEEE Symposium on Computer Arithmetic, ARITH 2019, Kyoto, Japan, June 10-12, 2019}
}
@inproceedings{conf/cp/BettsDGHKSW19,
title = {Peak-Hour Rail Demand Shifting with Discrete Optimisation.},
year = {2019},
booktitle = {CP},
author = {{John M. Betts} and {David L. Dowe} and {Daniel Guimarans} and {Daniel Damir Harabor} and {Heshan Kumarage} and {Peter J. Stuckey} and {Michael Wybrow}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}
}
@inproceedings{conf/cp/BjordalFPS19,
title = {Exploring Declarative Local-Search Neighbourhoods with Constraint Programming.},
year = {2019},
booktitle = {CP},
author = {{Gustav Björdal} and {Pierre Flener} and {Justin Pearson} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}
}
@inproceedings{conf/cp/DemirovicS19,
title = {Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search.},
year = {2019},
booktitle = {CP},
author = {{Emir Demirovic} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}
}
@inproceedings{conf/cp/StuckeyT19,
title = {Compiling Conditional Constraints.},
year = {2019},
booktitle = {CP},
author = {{Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings}
}
@inproceedings{conf/cpaior/AmadiniAGSSS19,
title = {Constraint Programming for Dynamic Symbolic Execution of JavaScript.},
year = {2019},
booktitle = {CPAIOR},
author = {{Roberto Amadini} and {Mak Andrlon} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}
}
@inproceedings{conf/cpaior/BergDS19,
title = {Core-Boosted Linear Search for Incomplete MaxSAT.},
year = {2019},
booktitle = {CPAIOR},
author = {{Jeremias Berg} and {Emir Demirovic} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}
}
@inproceedings{conf/cpaior/BertholdSW19,
title = {Local Rapid Learning for Integer Programs.},
year = {2019},
booktitle = {CPAIOR},
author = {{Timo Berthold} and {Peter J. Stuckey} and {Jakob Witzig}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}
}
@inproceedings{conf/cpaior/DemirovicS0CLRG19,
title = {An Investigation into Prediction + Optimisation for the Knapsack Problem.},
year = {2019},
booktitle = {CPAIOR},
author = {{Emir Demirovic} and {Peter J. Stuckey} and {James Bailey 001} and {Jeffrey Chan} and {Chris Leckie} and {Kotagiri Ramamohanarao} and {Tias Guns}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}
}
@inproceedings{conf/cpaior/YangSS19,
title = {Time Table Edge Finding with Energy Variables.},
year = {2019},
booktitle = {CPAIOR},
author = {{Moli Yang} and {Andreas Schutt} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}
}
@inproceedings{conf/fc/BlomST19,
title = {Election Manipulation 100.},
year = {2019},
booktitle = {Financial Cryptography Workshops},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa J. Teague}},
publisher = {Springer},
booktitle = {Financial Cryptography and Data Security - FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18-22, 2019, Revised Selected Papers}
}
@inproceedings{conf/ijcai/BonoGHS19,
title = {Path Planning with CPD Heuristics.},
year = {2019},
booktitle = {IJCAI},
author = {{Massimo Bono} and {Alfonso Emilio Gerevini} and {Daniel Damir Harabor} and {Peter J. Stuckey}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019}
}
@inproceedings{conf/ijcai/DemirovicS0CLRG19,
title = {Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions.},
year = {2019},
booktitle = {IJCAI},
author = {{Emir Demirovic} and {Peter J. Stuckey} and {James Bailey 001} and {Jeffrey Chan} and {Christopher Leckie} and {Kotagiri Ramamohanarao} and {Tias Guns}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019}
}
@inproceedings{conf/ijcai/HaraborUSK19,
title = {Regarding Jump Point Search and Subgoal Graphs.},
year = {2019},
booktitle = {IJCAI},
author = {{Daniel Damir Harabor} and {Tansel Uras} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019}
}
@inproceedings{conf/ijcai/LamBHS19,
title = {Branch-and-Cut-and-Price for Multi-Agent Pathfinding.},
year = {2019},
booktitle = {IJCAI},
author = {{Edward Lam 001} and {Pierre Le Bodic} and {Daniel Damir Harabor} and {Peter J. Stuckey}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019}
}
@inproceedings{conf/issta/AlbertBGIS19,
title = {Optimal context-sensitive dynamic partial order reduction with observers.},
year = {2019},
booktitle = {ISSTA},
author = {{Elvira Albert} and {Maria Garcia de la Banda} and {Miguel Gómez-Zamalloa} and {Miguel Isabel} and {Peter J. Stuckey}},
publisher = {ACM},
booktitle = {Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019.}
}
@inproceedings{conf/socs/0001HSLK19,
title = {Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding.},
year = {2019},
booktitle = {SOCS},
author = {{Hang Ma 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Jiaoyang Li 001} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019}
}
@inproceedings{conf/voteid/BlomST19,
title = {Election Manipulation with Partial Information.},
year = {2019},
booktitle = {E-VOTE-ID},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa J. Teague}},
publisher = {Springer},
booktitle = {Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings}
}
@article{journals/constraints/CodishMPS19,
title = {Constraints for symmetry breaking in graph representation.},
year = {2019},
journal = {Constraints An Int. J.},
author = {{Michael Codish} and {Alice Miller 001} and {Patrick Prosser} and {Peter J. Stuckey}}
}
@article{journals/constraints/UnaGSS19,
title = {Compiling CP subproblems to MDDs and d-DNNFs.},
year = {2019},
journal = {Constraints An Int. J.},
author = {{Diego de Uña} and {Graeme Gange} and {Peter Schachte} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-1903-08804,
title = {Risk-Limiting Audits for IRV Elections.},
year = {2019},
journal = {CoRR},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa Teague}}
}
@article{journals/informs/BlomST19,
title = {Toward Computing the Margin of Victory in Single Transferable Vote Elections.},
year = {2019},
journal = {INFORMS J. Comput.},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa J. Teague}}
}
@article{journals/jar/WangSS19,
title = {Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation.},
year = {2019},
journal = {J. Autom. Reason.},
author = {{Wenxi Wang} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/BlomCST20,
title = {Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections.},
year = {2020},
booktitle = {AAAI},
author = {{Michelle L. Blom} and {Andrew Conway} and {Peter J. Stuckey} and {Vanessa J. Teague}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/ChanCFLS20,
title = {Teaching Constraint Programming Using Fable-Based Learning.},
year = {2020},
booktitle = {AAAI},
author = {{Mavis Chan} and {Cecilia Chun} and {Holly Fung} and {Jimmy H. M. Lee} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/DemirovicSG0LRC20,
title = {Dynamic Programming for Predict+Optimise.},
year = {2020},
booktitle = {AAAI},
author = {{Emir Demirovic} and {Peter J. Stuckey} and {Tias Guns} and {James Bailey 001} and {Christopher Leckie} and {Kotagiri Ramamohanarao} and {Jeffrey Chan}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/EkBSST20,
title = {Modelling and Solving Online Optimisation Problems.},
year = {2020},
booktitle = {AAAI},
author = {{Alexander Ek} and {Maria Garcia de la Banda} and {Andreas Schutt} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/IngmarBST20,
title = {Modelling Diversity of Solutions.},
year = {2020},
booktitle = {AAAI},
author = {{Linnea Ingmar} and {Maria Garcia de la Banda} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/MandiDSG20,
title = {Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems.},
year = {2020},
booktitle = {AAAI},
author = {{Jayanta Mandi} and {Emir Demirovic} and {Peter J. Stuckey} and {Tias Guns}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aaai/WinterMS20,
title = {Explaining Propagators for String Edit Distance Constraints.},
year = {2020},
booktitle = {AAAI},
author = {{Felix Winter} and {Nysret Musliu} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020.}
}
@inproceedings{conf/aips/0001GHS0K20,
title = {New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding.},
year = {2020},
booktitle = {ICAPS},
author = {{Jiaoyang Li 001} and {Graeme Gange} and {Daniel Harabor} and {Peter J. Stuckey} and {Hang Ma 001} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020}
}
@inproceedings{conf/aips/HechenbergerSHB20,
title = {Online Computation of Euclidean Shortest Paths in Two Dimensions.},
year = {2020},
booktitle = {ICAPS},
author = {{Ryan Hechenberger} and {Peter J. Stuckey} and {Daniel Harabor} and {Pierre Le Bodic} and {Muhammad Aamir Cheema}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020}
}
@inproceedings{conf/aips/ZhaoCBGHSS20,
title = {Bounded Suboptimal Path Planning with Compressed Path Databases.},
year = {2020},
booktitle = {ICAPS},
author = {{Shizhe Zhao} and {Mattia Chiari} and {Adi Botea} and {Alfonso Emilio Gerevini} and {Daniel Harabor} and {Alessandro Saetti} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, October 26-30, 2020}
}
@inproceedings{conf/atal/NijsS20,
title = {Risk-Aware Conditional Replanning for Globally Constrained Multi-Agent Sequential Decision Making.},
year = {2020},
booktitle = {AAMAS},
author = {{Frits de Nijs} and {Peter J. Stuckey}},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020}
}
@inproceedings{conf/birthday/AmadiniGSSS20,
title = {Abstract Interpretation, Symbolic Execution and Constraints.},
year = {2020},
booktitle = {Gabbrielli's Festschrift},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy.}
}
@inproceedings{conf/cp/AmadiniGS20,
title = {Dashed Strings and the Replace(-all) Constraint.},
year = {2020},
booktitle = {CP},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/BjordalFPST20,
title = {Solving Satisfaction Problems Using Large-Neighbourhood Search.},
year = {2020},
booktitle = {CP},
author = {{Gustav Björdal} and {Pierre Flener} and {Justin Pearson} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/EkBSST20,
title = {Aggregation and Garbage Collection for Online Optimization.},
year = {2020},
booktitle = {CP},
author = {{Alexander Ek} and {Maria Garcia de la Banda} and {Andreas Schutt} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/GangeS20,
title = {The Argmax Constraint.},
year = {2020},
booktitle = {CP},
author = {{Graeme Gange} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/LamNSAL20,
title = {Large Neighborhood Search for Temperature Control with Demand Response.},
year = {2020},
booktitle = {CP},
author = {{Edward Lam 001} and {Frits de Nijs} and {Peter J. Stuckey} and {Donald Azuatalam} and {Ariel Liebman}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/LamSKK20,
title = {Exact Approaches to the Multi-agent Collective Construction Problem.},
year = {2020},
booktitle = {CP},
author = {{Edward Lam 001} and {Peter J. Stuckey} and {Sven Koenig} and {T. K. Satish Kumar}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/SayDNS20,
title = {Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models.},
year = {2020},
booktitle = {CP},
author = {{Buser Say} and {Jo Devriendt} and {Jakob Nordström} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cp/YuISB20,
title = {Computing Optimal Decision Sets with SAT.},
year = {2020},
booktitle = {CP},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Peter J. Stuckey} and {Pierre Le Bodic}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}
}
@inproceedings{conf/cpaior/GangeBDS20,
title = {Core-Guided and Core-Boosted Search for CP.},
year = {2020},
booktitle = {CPAIOR},
author = {{Graeme Gange} and {Jeremias Berg} and {Emir Demirovic} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings}
}
@inproceedings{conf/cpaior/GokGSTO20,
title = {Robust Resource Planning for Aircraft Ground Operations.},
year = {2020},
booktitle = {CPAIOR},
author = {{Yagmur S. Gök} and {Daniel Guimarans} and {Peter J. Stuckey} and {Maurizio Tomasella} and {Cemalettin Ozturk}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings}
}
@inproceedings{conf/ecai/AmadiniGSSS20,
title = {String Constraint Solving: Past, Present and Future.},
year = {2020},
booktitle = {ECAI},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {IOS Press},
booktitle = {ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020)}
}
@inproceedings{conf/evoteid/BlomCST20,
title = {Shifting the Balance-of-Power in STV Elections.},
year = {2020},
booktitle = {E-VOTE-ID},
author = {{Michelle L. Blom} and {Andrew Conway} and {Peter J. Stuckey} and {Vanessa J. Teague}},
publisher = {Springer},
booktitle = {Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings}
}
@inproceedings{conf/evoteid/BlomCSTV20,
title = {Random Errors Are Not Necessarily Politically Neutral.},
year = {2020},
booktitle = {E-VOTE-ID},
author = {{Michelle L. Blom} and {Andrew Conway} and {Peter J. Stuckey} and {Vanessa J. Teague} and {Damjan Vukcevic}},
publisher = {Springer},
booktitle = {Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings}
}
@inproceedings{conf/ijcai/BoyarskiFHS00K20,
title = {Iterative-Deepening Conflict-Based Search.},
year = {2020},
booktitle = {IJCAI},
author = {{Eli Boyarski} and {Ariel Felner} and {Daniel Harabor} and {Peter J. Stuckey} and {Liron Cohen 002} and {Jiaoyang Li 001} and {Sven Koenig}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020}
}
@inproceedings{conf/ijcai/ShenCHS20,
title = {Euclidean Pathfinding with Compressed Path Databases.},
year = {2020},
booktitle = {IJCAI},
author = {{Bojie Shen} and {Muhammad Aamir Cheema} and {Daniel Harabor} and {Peter J. Stuckey}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020}
}
@inproceedings{conf/ijcnn/RamtekeSCR0LD20,
title = {Improving Single and Multi-View Blockmodelling by Algebraic Simplification.},
year = {2020},
booktitle = {IJCNN},
author = {{Rishabh Ramteke} and {Peter J. Stuckey} and {Jeffrey Chan} and {Kotagiri Ramamohanarao} and {James Bailey 001} and {Christopher Leckie} and {Emir Demirovic}},
publisher = {IEEE},
booktitle = {2020 International Joint Conference on Neural Networks, IJCNN 2020, Glasgow, United Kingdom, July 19-24, 2020}
}
@inproceedings{conf/lopstr/AmadiniGSSS20,
title = {Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study.},
year = {2020},
booktitle = {LOPSTR},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings}
}
@inproceedings{conf/socs/BoyarskiHSBF20,
title = {F-Cardinal Conflicts in Conflict-Based Search.},
year = {2020},
booktitle = {SOCS},
author = {{Eli Boyarski} and {Daniel Harabor} and {Peter J. Stuckey} and {Pierre Le Bodic} and {Ariel Felner}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirteenth International Symposium on Combinatorial Search, SOCS 2020, Online Conference [Vienna, Austria], 26-28 May 2020}
}
@inproceedings{conf/ucc/ChakrabortyTKSM20,
title = {Joint Host-Network Power Scaling with Minimizing VM Migration in SDN-enabled Cloud Data Centers.},
year = {2020},
booktitle = {UCC},
author = {{Tuhin Chakraborty} and {Adel Nadjaran Toosi} and {Carlo Kopp} and {Peter J. Stuckey} and {Julien Mahet}},
publisher = {IEEE},
booktitle = {13th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2020, Leicester, United Kingdom, December 7-10, 2020}
}
@article{journals/ai/AmadiniGS20,
title = {Dashed strings for string constraint solving.},
year = {2020},
journal = {Artif. Intell.},
author = {{Roberto Amadini} and {Graeme Gange} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2004-00235,
title = {You can do RLAs for IRV.},
year = {2020},
journal = {CoRR},
author = {{Michelle L. Blom} and {Andrew Conway} and {Dan King} and {Laurent Sandrolini} and {Philip B. Stark} and {Peter J. Stuckey} and {Vanessa Teague}}
}
@article{journals/corr/abs-2005-02073,
title = {Encoding Linear Constraints into SAT.},
year = {2020},
journal = {CoRR},
author = {{Ignasi Abío} and {Valentin Mayer-Eichberger} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2007-00854,
title = {Random errors are not politically neutral.},
year = {2020},
journal = {CoRR},
author = {{Michelle L. Blom} and {Andrew Conway} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}}
}
@article{journals/corr/abs-2007-12652,
title = {MurTree: Optimal Classification Trees via Dynamic Programming and Search.},
year = {2020},
journal = {CoRR},
author = {{Emir Demirovic} and {Anna Lukina} and {Emmanuel Hebrard} and {Jeffrey Chan} and {James Bailey 001} and {Christopher Leckie} and {Kotagiri Ramamohanarao} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2010-09919,
title = {Optimal Decision Lists using SAT.},
year = {2020},
journal = {CoRR},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Pierre Le Bodic} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2012-02342,
title = {Divide and Learn: A Divide and Conquer Approach for Predict+Optimize.},
year = {2020},
journal = {CoRR},
author = {{Ali Ugur Guler} and {Emir Demirovic} and {Jeffrey Chan} and {James Bailey 001} and {Christopher Leckie} and {Peter J. Stuckey}}
}
@article{journals/heuristics/BelovBSS20,
title = {Logistics optimization for a coal supply chain.},
year = {2020},
journal = {J. Heuristics},
author = {{Gleb Belov} and {Natashia L. Boland} and {Martin W. P. Savelsbergh} and {Peter J. Stuckey}}
}
@article{journals/orf/LamGSHD20,
title = {Nutmeg: a MIP and CP Hybrid Solver Using Branch-and-Check.},
year = {2020},
journal = {Oper. Res. Forum},
author = {{Edward Lam 001} and {Graeme Gange} and {Peter J. Stuckey} and {Pascal Van Hentenryck} and {Jip J. Dekker}}
}
@data{data/10/DevriendtGDNS20,
title = {Experimental Repository for "Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning".},
year = {2020},
month = {September},
publisher = {Zenodo},
author = {{Jo Devriendt} and {Stephan Gocht} and {Emir Demirovic} and {Jakob Nordström} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/BoyarskiFBHSK21,
title = {f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search.},
year = {2021},
booktitle = {AAAI},
author = {{Eli Boyarski} and {Ariel Felner} and {Pierre Le Bodic} and {Daniel Damir Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aaai/ChenH0S21,
title = {Symmetry Breaking for k-Robust Multi-Agent Path Finding.},
year = {2021},
booktitle = {AAAI},
author = {{Zhe Chen 016} and {Daniel Damir Harabor} and {Jiaoyang Li 001} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aaai/DemirovicS21,
title = {Optimal Decision Trees for Nonlinear Metrics.},
year = {2021},
booktitle = {AAAI},
author = {{Emir Demirovic} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aaai/DevriendtGDNS21,
title = {Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning.},
year = {2021},
booktitle = {AAAI},
author = {{Jo Devriendt} and {Stephan Gocht} and {Emir Demirovic} and {Jakob Nordström} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aaai/Ignatiev0S021,
title = {A Scalable Two Stage Approach to Computing Optimal Decision Sets.},
year = {2021},
booktitle = {AAAI},
author = {{Alexey Ignatiev} and {Edward Lam 001} and {Peter J. Stuckey} and {João Marques-Silva 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021}
}
@inproceedings{conf/aips/0001CZCHS0K21,
title = {Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge.},
year = {2021},
booktitle = {ICAPS},
author = {{Jiaoyang Li 001} and {Zhe Chen 016} and {Yi Zheng} and {Shao-Hung Chan} and {Daniel Harabor} and {Peter J. Stuckey} and {Hang Ma 001} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021}
}
@inproceedings{conf/aips/HuHGSS21,
title = {Jump Point Search with Temporal Obstacles.},
year = {2021},
booktitle = {ICAPS},
author = {{Shuli Hu} and {Daniel Damir Harabor} and {Graeme Gange} and {Peter J. Stuckey} and {Nathan R. Sturtevant}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021}
}
@inproceedings{conf/aips/ShenCHS21,
title = {Contracting and Compressing Shortest Path Databases.},
year = {2021},
booktitle = {ICAPS},
author = {{Bojie Shen} and {Muhammad Aamir Cheema} and {Daniel Damir Harabor} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021}
}
@inproceedings{conf/bibm/RajapaksaSBSAAL21,
title = {On identifying statistical redundancy at the level of amino acid subsequences.},
year = {2021},
booktitle = {BIBM},
author = {{Sandun Rajapaksa} and {Dinithi Sumanaweera} and {Maria Garcia de la Banda} and {Peter J. Stuckey} and {David Abramson 001} and {Lloyd Allison} and {Arthur M. Lesk} and {Arun Siddharth Konagurthu}},
publisher = {IEEE},
booktitle = {IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021, Houston, TX, USA, December 9-12, 2021}
}
@inproceedings{conf/cp/SenthooranBS21,
title = {Optimising Training for Service Delivery.},
year = {2021},
booktitle = {CP},
author = {{Ilankaikone Senthooran} and {Pierre Le Bodic} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021.}
}
@inproceedings{conf/evoteid/BlomBRSSTV21,
title = {Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections.},
year = {2021},
booktitle = {E-VOTE-ID},
author = {{Michelle L. Blom} and {Jurlind Budurushi} and {Ronald L. Rivest} and {Philip B. Stark} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}},
publisher = {Springer},
booktitle = {Electronic Voting - 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5-8, 2021, Proceedings}
}
@inproceedings{conf/fc/BlomSSTV21,
title = {Auditing Hamiltonian Elections.},
year = {2021},
booktitle = {Financial Cryptography Workshops},
author = {{Michelle L. Blom} and {Philip B. Stark} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}},
publisher = {Springer},
booktitle = {Financial Cryptography and Data Security. FC 2021 International Workshops - CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers}
}
@inproceedings{conf/ijcai/0001CHSK21,
title = {Anytime Multi-Agent Path Finding via Large Neighborhood Search.},
year = {2021},
booktitle = {IJCAI},
author = {{Jiaoyang Li 001} and {Zhe Chen 016} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/ijcai/Ignatiev0NS21,
title = {Reasoning-Based Learning of Interpretable ML Models.},
year = {2021},
booktitle = {IJCAI},
author = {{Alexey Ignatiev} and {João Marques-Silva 001} and {Nina Narodytska} and {Peter J. Stuckey}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.}
}
@inproceedings{conf/sas/GangeNSSS21,
title = {Disjunctive Interval Analysis.},
year = {2021},
booktitle = {SAS},
author = {{Graeme Gange} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings}
}
@inproceedings{conf/sefm/KafleGSSS21,
title = {Lightweight Nontermination Inference with CHCs.},
year = {2021},
booktitle = {SEFM},
author = {{Bishoksan Kafle} and {Graeme Gange} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings}
}
@inproceedings{conf/socs/BoyarskiFBHSK21,
title = {Further Improved Heuristics For Conflict-Based Search.},
year = {2021},
booktitle = {SOCS},
author = {{Eli Boyarski} and {Ariel Felner} and {Pierre Le Bodic} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@inproceedings{conf/socs/ChanLGHSK21,
title = {ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding.},
year = {2021},
booktitle = {SOCS},
author = {{Shao-Hung Chan} and {Jiaoyang Li 001} and {Graeme Gange} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@inproceedings{conf/socs/HechenbergerHCS21,
title = {Multi-Target Search in Euclidean Space with Ray Shooting.},
year = {2021},
booktitle = {SOCS},
author = {{Ryan Hechenberger} and {Daniel Harabor} and {Muhammad Aamir Cheema} and {Peter J. Stuckey} and {Pierre Le Bodic}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@inproceedings{conf/socs/MaheoZAHS021,
title = {Customised Shortest Paths Using a Distributed Reverse Oracle.},
year = {2021},
booktitle = {SOCS},
author = {{Arthur Mahéo} and {Shizhe Zhao} and {Hassan Afzaal} and {Daniel Harabor} and {Peter J. Stuckey} and {Mark Wallace 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial Search, SOCS 2021, Virtual Conference [Jinan, China], July 26-30, 2021}
}
@article{journals/ai/LiHSMGK21,
title = {Pairwise symmetry reasoning for multi-agent path finding search.},
year = {2021},
journal = {Artif. Intell.},
author = {{Jiaoyang Li 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Hang Ma 001} and {Graeme Gange} and {Sven Koenig}}
}
@article{journals/corr/abs-2103-07116,
title = {Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search.},
year = {2021},
journal = {CoRR},
author = {{Jiaoyang Li 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}}
}
@article{journals/corr/abs-2108-00633,
title = {Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021.},
year = {2021},
journal = {CoRR},
author = {{Buser Say} and {Scott Sanner} and {Jo Devriendt} and {Jakob Nordström} and {Peter J. Stuckey}}
}
@article{journals/jair/YuISB21,
title = {Learning Optimal Decision Sets and Lists with SAT.},
year = {2021},
journal = {J. Artif. Intell. Res.},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Peter J. Stuckey} and {Pierre Le Bodic}}
}
@article{journals/ral/ChenABHS21,
title = {Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery.},
year = {2021},
journal = {IEEE Robotics Autom. Lett.},
author = {{Zhe Chen 016} and {Javier Alonso-Mora} and {Xiaoshan Bai} and {Daniel Damir Harabor} and {Peter J. Stuckey}}
}
@article{journals/toplas/GangeMNSSS21,
title = {A Fresh Look at Zones and Octagons.},
year = {2021},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Graeme Gange} and {Zequn Ma} and {Jorge A. Navas} and {Peter Schachte} and {Harald Søndergaard} and {Peter J. Stuckey}}
}
@article{journals/tplp/KafleGSSS21,
title = {Transformation-Enabled Precondition Inference.},
year = {2021},
journal = {Theory Pract. Log. Program.},
author = {{Bishoksan Kafle} and {Graeme Gange} and {Peter J. Stuckey} and {Peter Schachte} and {Harald Søndergaard}}
}
@inproceedings{conf/aaai/0001CHSK22,
title = {MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search.},
year = {2022},
booktitle = {AAAI},
author = {{Jiaoyang Li 001} and {Zhe Chen 016} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aaai/Chan0GHSK22,
title = {Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding.},
year = {2022},
booktitle = {AAAI},
author = {{Shao-Hung Chan} and {Jiaoyang Li 001} and {Graeme Gange} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aaai/GulerDC0LS22,
title = {A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems.},
year = {2022},
booktitle = {AAAI},
author = {{Ali Ugur Guler} and {Emir Demirovic} and {Jeffrey Chan} and {James Bailey 001} and {Christopher Leckie} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aaai/IgnatievIS022,
title = {Using MaxSAT for Efficient Explanations of Tree Ensembles.},
year = {2022},
booktitle = {AAAI},
author = {{Alexey Ignatiev} and {Yacine Izza} and {Peter J. Stuckey} and {João Marques-Silva 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022}
}
@inproceedings{conf/aips/HuHGSS22,
title = {Multi-Agent Path Finding with Temporal Jump Point Search.},
year = {2022},
booktitle = {ICAPS},
author = {{Shuli Hu} and {Daniel Damir Harabor} and {Graeme Gange} and {Peter J. Stuckey} and {Nathan R. Sturtevant}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/aips/ShenCHS22,
title = {Improving Time-Dependent Contraction Hierarchies.},
year = {2022},
booktitle = {ICAPS},
author = {{Bojie Shen} and {Muhammad Aamir Cheema} and {Daniel Damir Harabor} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022}
}
@inproceedings{conf/cp/EkSST22,
title = {Explaining Propagation for Gini and Spread with Variable Mean.},
year = {2022},
booktitle = {CP},
author = {{Alexander Ek} and {Andreas Schutt} and {Peter J. Stuckey} and {Guido Tack}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {28th International Conference on Principles and Practice of Constraint Programming, CP 2022, July 31 to August 8, 2022, Haifa, Israel.}
}
@inproceedings{conf/cpaior/BierleeGTDS22,
title = {Coupling Different Integer Encodings for SAT.},
year = {2022},
booktitle = {CPAIOR},
author = {{Hendrik Bierlee} and {Graeme Gange} and {Guido Tack} and {Jip J. Dekker} and {Peter J. Stuckey}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings}
}
@inproceedings{conf/cpaior/LiSKK22,
title = {A FastMap-Based Algorithm for Block Modeling.},
year = {2022},
booktitle = {CPAIOR},
author = {{Ang Li} and {Peter J. Stuckey} and {Sven Koenig} and {T. K. Satish Kumar}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings}
}
@inproceedings{conf/cpaior/StuckeyT22,
title = {Enumerated Types and Type Extensions for MiniZinc.},
year = {2022},
booktitle = {CPAIOR},
author = {{Peter J. Stuckey} and {Guido Tack}},
publisher = {Springer},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings}
}
@inproceedings{conf/esorics/EverestBSSTV22,
title = {Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model.},
year = {2022},
booktitle = {CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS},
author = {{Floyd Everest} and {Michelle L. Blom} and {Philip B. Stark} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}},
publisher = {Springer},
booktitle = {Computer Security. ESORICS 2022 International Workshops - CyberICPS 2022, SECPRE 2022, SPOSE 2022, CPS4CIP 2022, CDT&SECOMANE 2022, EIS 2022, and SecAssure 2022, Copenhagen, Denmark, September 26-30, 2022, Revised Selected Papers}
}
@inproceedings{conf/fc/BlomSTV22,
title = {A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections.},
year = {2022},
booktitle = {Financial Cryptography Workshops},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}},
publisher = {Springer},
booktitle = {Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers}
}
@inproceedings{conf/pakdd/ParkGDCSBLK22,
title = {Modelling Zeros in Blockmodelling.},
year = {2022},
booktitle = {PAKDD (2)},
author = {{Laurence A. F. Park} and {Mohadeseh Ganji} and {Emir Demirovic} and {Jeffrey Chan} and {Peter J. Stuckey} and {James Bailey 001} and {Christopher Leckie} and {Rao Kotagiri}},
publisher = {Springer},
booktitle = {Advances in Knowledge Discovery and Data Mining - 26th Pacific-Asia Conference, PAKDD 2022, Chengdu, China, May 16-19, 2022, Proceedings, Part II}
}
@inproceedings{conf/socs/Chen0HSK22,
title = {Multi-Train Path Finding Revisited.},
year = {2022},
booktitle = {SOCS},
author = {{Zhe Chen 016} and {Jiaoyang Li 001} and {Daniel Harabor} and {Peter J. Stuckey} and {Sven Koenig}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@inproceedings{conf/socs/HechenbergerSBH22,
title = {Dual Euclidean Shortest Path Search (Extended Abstract).},
year = {2022},
booktitle = {SOCS},
author = {{Ryan Hechenberger} and {Peter J. Stuckey} and {Pierre Le Bodic} and {Daniel Damir Harabor}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022}
}
@article{journals/ai/ShenCHS22,
title = {Fast optimal and bounded suboptimal Euclidean pathfinding.},
year = {2022},
journal = {Artif. Intell.},
author = {{Bojie Shen} and {Muhammad Aamir Cheema} and {Daniel Damir Harabor} and {Peter J. Stuckey}}
}
@article{journals/cor/LamBHS22,
title = {Branch-and-cut-and-price for multi-agent path finding.},
year = {2022},
journal = {Comput. Oper. Res.},
author = {{Edward Lam 001} and {Pierre Le Bodic} and {Daniel Harabor} and {Peter J. Stuckey}}
}
@article{journals/cor/LamDS22,
title = {Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations.},
year = {2022},
journal = {Comput. Oper. Res.},
author = {{Edward Lam 001} and {Guy Desaulniers} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2205-14634,
title = {Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit.},
year = {2022},
journal = {CoRR},
author = {{Michelle L. Blom} and {Philip B. Stark} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}}
}
@article{journals/corr/abs-2206-09551,
title = {Eliminating The Impossible, Whatever Remains Must Be True.},
year = {2022},
journal = {CoRR},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Peter J. Stuckey} and {Nina Narodytska} and {João Marques-Silva 001}}
}
@article{journals/corr/abs-2206-14605,
title = {Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps.},
year = {2022},
journal = {CoRR},
author = {{Floyd Everest} and {Michelle L. Blom} and {Philip B. Stark} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}}
}
@article{journals/corr/abs-2207-02436,
title = {Multi-Target Search in Euclidean Space with Ray Shooting (Full Version).},
year = {2022},
journal = {CoRR},
author = {{Ryan Hechenberger} and {Daniel Harabor} and {Muhammad Aamir Cheema} and {Peter J. Stuckey} and {Pierre Le Bodic}}
}
@article{journals/corr/abs-2212-10723,
title = {Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy.},
year = {2022},
journal = {CoRR},
author = {{Christoph Bergmeir} and {Frits de Nijs} and {Abishek Sriramulu} and {Mahdi Abolghasemi} and {Richard Bean 001} and {John M. Betts} and {Quang Bui} and {Nam Trong Dinh} and {Nils Einecke} and {Rasul Esmaeilbeigi} and {Scott Ferraro} and {Priya Galketiya} and {Evgenii Genov} and {Robert Glasgow} and {Rakshitha Godahewa} and {Yanfei Kang} and {Steffen Limmer} and {Luis Magdalena} and {Pablo Montero-Manso} and {Daniel Peralta} and {Yogesh Pipada Sunil Kumar} and {Alejandro Rosales-Pérez} and {Julian Ruddick} and {Akylas C. Stratigakos} and {Peter J. Stuckey} and {Guido Tack} and {Isaac Triguero} and {Rui Yuan}}
}
@article{journals/jmlr/DemirovicLHCBLR22,
title = {MurTree: Optimal Decision Trees via Dynamic Programming and Search.},
year = {2022},
journal = {J. Mach. Learn. Res.},
author = {{Emir Demirovic} and {Anna Lukina} and {Emmanuel Hebrard} and {Jeffrey Chan} and {James Bailey 001} and {Christopher Leckie} and {Kotagiri Ramamohanarao} and {Peter J. Stuckey}}
}
@data{data/10/TackDBLNS22,
title = {MiniZinc.},
year = {2022},
month = {June},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Gleb Belov} and {Kevin Leo} and {Jason Nguyen} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/CarlsonMHSE23,
title = {Optimal Pathfinding on Weighted Grid Maps.},
year = {2023},
booktitle = {AAAI},
author = {{Mark Carlson} and {Sajjad K. Moghadam} and {Daniel Damir Harabor} and {Peter J. Stuckey} and {Morteza Ebrahimi}},
publisher = {AAAI Press},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}
}
@inproceedings{conf/aaai/YuISN023,
title = {Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.},
year = {2023},
booktitle = {AAAI},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Peter J. Stuckey} and {Nina Narodytska} and {João Marques-Silva 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023}
}
@inproceedings{conf/aips/0001HS023,
title = {Exact Anytime Multi-Agent Path Finding Using Branch-and-Cut-and-Price and Large Neighborhood Search.},
year = {2023},
booktitle = {ICAPS},
author = {{Edward Lam 001} and {Daniel Damir Harabor} and {Peter J. Stuckey} and {Jiaoyang Li 001}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic}
}
@inproceedings{conf/aips/PolyakovskiyS23,
title = {A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem.},
year = {2023},
booktitle = {ICAPS},
author = {{Sergey Polyakovskiy} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic}
}
@inproceedings{conf/aips/Shen00CHS23,
title = {Beyond Pairwise Reasoning in Multi-Agent Path Finding.},
year = {2023},
booktitle = {ICAPS},
author = {{Bojie Shen} and {Zhe Chen 016} and {Jiaoyang Li 001} and {Muhammad Aamir Cheema} and {Daniel Damir Harabor} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic}
}
@inproceedings{conf/cp/Vaz0LS23,
title = {Predict-Then-Optimise Strategies for Water Flow Control (Short Paper).},
year = {2023},
booktitle = {CP},
author = {{Vincent Barbosa Vaz} and {James Bailey 001} and {Christopher Leckie} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada}
}
@inproceedings{conf/cp/YuIS23,
title = {From Formal Boosted Tree Explanations to Interpretable Rule Sets.},
year = {2023},
booktitle = {CP},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Peter J. Stuckey}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada}
}
@inproceedings{conf/fc/BlomSTV23,
title = {Risk-Limiting Audits for Condorcet Elections.},
year = {2023},
booktitle = {FC Workshops},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}},
publisher = {Springer},
booktitle = {Financial Cryptography and Data Security. FC 2023 International Workshops - Voting, CoDecFin, DeFi, WTSC, Bol, Brač, Croatia, May 5, 2023, Revised Selected Papers}
}
@inproceedings{conf/fmcad/Stuckey23,
title = {MiniZinc for Formal Methods.},
year = {2023},
booktitle = {FMCAD},
author = {{Peter J. Stuckey}},
publisher = {IEEE},
booktitle = {Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023}
}
@inproceedings{conf/icores/OxenstiernaRSK23,
title = {Storage Assignment Using Nested Annealing and Hamming Distances.},
year = {2023},
booktitle = {ICORES},
author = {{Johan Oxenstierna} and {Louis Janse van Rensburg} and {Peter J. Stuckey} and {Volker Krüger}},
publisher = {SCITEPRESS},
booktitle = {Proceedings of the 12th International Conference on Operations Research and Enterprise Systems, ICORES 2023, Lisbon, Portugal, February 19-21, 2023.}
}
@inproceedings{conf/ijcai/AmadiniS23,
title = {A Regular Matching Constraint for String Variables.},
year = {2023},
booktitle = {IJCAI},
author = {{Roberto Amadini} and {Peter J. Stuckey}},
publisher = {ijcai.org},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China}
}
@inproceedings{conf/iwpc/FuDSWL23,
title = {ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration.},
year = {2023},
booktitle = {ICPC},
author = {{Shuai Fu} and {Tim Dwyer} and {Peter J. Stuckey} and {Jackson Wain} and {Jesse Linossier}},
publisher = {IEEE},
booktitle = {31st IEEE/ACM International Conference on Program Comprehension, ICPC 2023, Melbourne, Australia, May 15-16, 2023}
}
@inproceedings{conf/mod/LiSKK23,
title = {A FastMap-Based Framework for Efficiently Computing Top-K Projected Centrality.},
year = {2023},
booktitle = {LOD (1)},
author = {{Ang Li} and {Peter J. Stuckey} and {Sven Koenig} and {T. K. Satish Kumar}},
publisher = {Springer},
booktitle = {Machine Learning, Optimization, and Data Science - 9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023, Revised Selected Papers, Part I}
}
@inproceedings{conf/socs/ZhangHBS23,
title = {Efficient Multi Agent Path Finding with Turn Actions.},
year = {2023},
booktitle = {SOCS},
author = {{Yue Zhang} and {Daniel Harabor} and {Pierre Le Bodic} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic}
}
@inproceedings{conf/socs/ZhaoHS23,
title = {Reducing Redundant Work in Jump Point Search.},
year = {2023},
booktitle = {SOCS},
author = {{Shizhe Zhao} and {Daniel Harabor} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic}
}
@article{journals/bioinformatics/AmarasingheASBL23,
title = {Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles.},
year = {2023},
journal = {Bioinform.},
author = {{Piyumi R. Amarasinghe} and {Lloyd Allison} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {Arthur M. Lesk} and {Arun Siddharth Konagurthu}}
}
@article{journals/corr/abs-2305-08446,
title = {Tracking Progress in Multi-Agent Path Finding.},
year = {2023},
journal = {CoRR},
author = {{Bojie Shen} and {Zhe Chen 016} and {Muhammad Aamir Cheema} and {Daniel Damir Harabor} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2306-06455,
title = {Scalable Rail Planning and Replanning with Soft Deadlines.},
year = {2023},
journal = {CoRR},
author = {{Zhe Chen 016} and {Jiaoyang Li 001} and {Daniel Harabor} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2307-03380,
title = {On Formal Feature Attribution and Its Approximation.},
year = {2023},
journal = {CoRR},
author = {{Jinqiang Yu} and {Alexey Ignatiev} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2307-08242,
title = {Lifted Sequential Planning with Lazy Constraint Generation Solvers.},
year = {2023},
journal = {CoRR},
author = {{Anubhav Singh} and {Miquel Ramírez} and {Nir Lipovetzky} and {Peter J. Stuckey}}
}
@article{journals/corr/abs-2307-10972,
title = {Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE.},
year = {2023},
journal = {CoRR},
author = {{Alexander Ek} and {Philip B. Stark} and {Peter J. Stuckey} and {Damjan Vukcevic}}
}
@article{journals/corr/abs-2308-06292,
title = {The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences.},
year = {2023},
journal = {CoRR},
author = {{Sandun Rajapaksa} and {Lloyd Allison} and {Peter J. Stuckey} and {Maria Garcia de la Banda} and {Arun Siddharth Konagurthu}}
}
@article{journals/corr/abs-2312-06973,
title = {Anytime Approximate Formal Feature Attribution.},
year = {2023},
journal = {CoRR},
author = {{Jinqiang Yu} and {Graham Farr} and {Alexey Ignatiev} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23,
title = {MiniZinc.},
year = {2023},
month = {February},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23a,
title = {MiniZinc.},
year = {2023},
month = {March},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23b,
title = {MiniZinc.},
year = {2023},
month = {April},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23c,
title = {MiniZinc.},
year = {2023},
month = {April},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23d,
title = {MiniZinc.},
year = {2023},
month = {May},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23e,
title = {MiniZinc.},
year = {2023},
month = {June},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/TackDLBNBS23f,
title = {MiniZinc.},
year = {2023},
month = {June},
publisher = {Zenodo},
author = {{Guido Tack} and {Jip J. Dekker} and {Kevin Leo} and {Gleb Belov} and {Jason Nguyen} and {Maria Garcia de la Banda} and {Peter J. Stuckey}}
}
@data{data/10/BergmeirBNS23,
title = {Residential Power and Battery Data.},
year = {2023},
month = {August},
publisher = {Zenodo},
author = {{Christoph Bergmeir} and {Quang Bui} and {Frits de Nijs} and {Peter J. Stuckey}}
}
@article{journals/jss/AlbertBGIS23,
title = {Optimal dynamic partial order reduction with context-sensitive independence and observers.},
year = {2023},
month = {August},
journal = {J. Syst. Softw.},
author = {{Elvira Albert} and {Maria Garcia de la Banda} and {Miguel Gómez-Zamalloa} and {Miguel Isabel} and {Peter J. Stuckey}}
}
@inproceedings{conf/aaai/0016H0S24,
title = {Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding.},
year = {2024},
booktitle = {AAAI},
author = {{Zhe Chen 016} and {Daniel Harabor} and {Jiaoyang Li 001} and {Peter J. Stuckey}},
publisher = {AAAI Press},
booktitle = {Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada}
}
@inproceedings{conf/aaai/IzzaIS024,
title = {Delivering Inflated Explanations.},
year = {2024},
booktitle = {AAAI},
author = {{Yacine Izza} and {Alexey Ignatiev} and {Peter J. Stuckey} and {João Marques-Silva 001}},
publisher = {AAAI Press},
booktitle = {Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada}
}
@article{journals/corr/abs-2402-03707,
title = {RLAs for 2-Seat STV Elections: Revisited.},
year = {2024},
journal = {CoRR},
author = {{Michelle L. Blom} and {Peter J. Stuckey} and {Vanessa Teague} and {Damjan Vukcevic}}
}