Peter J. Stuckey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
331
Venues
49
Active years
1986–2026
Best venue rank
A*
Where they publish
- ACP77 papers
- BCPAIOR41 papers
- A*AAAI31 papers
- BICLP29 papers
- A*IJCAI16 papers
- CPPDP12 papers
- AFC8 papers
- NationalFLOPS7 papers
- CLOPSTR6 papers
- BICTAI5 papers
- BSAS5 papers
- BAPLAS5 papers
- AGD5 papers
- CPADL4 papers
- AECAI3 papers
- CDIAGRAMS3 papers
- CICORES2 papers
- ASDM2 papers
- BDocEng2 papers
- A*ICDE2 papers
- MulticonferenceSAC2 papers
- AESOP2 papers
- CHASKELL2 papers
- AustralasianADC2 papers
- AICFP2 papers
- A*UIST2 papers
- A*ICCV1 paper
- A*ICAPS1 paper
- BFMCAD1 paper
- AESORICS1 paper
- BPAKDD1 paper
- BIJCNN1 paper
- CARITH1 paper
- AISSTA1 paper
- BATVA1 paper
- A*CAV1 paper
- BDCC1 paper
- ACADE1 paper
- A*ICDM1 paper
- CPEPM1 paper
- AMiddleware1 paper
- BPRICAI1 paper
- CPATAT1 paper
- CDEXA1 paper
- A*SIGMOD1 paper
- A*PODS1 paper
- A*POPL1 paper
- A*PLDI1 paper
- A*LICS1 paper
Papers
Showing the 300 most recent indexed papers.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CP | Table Constraints for Integer Programming. | Hendrik Bierlee, Wout Piessens, Tias Guns, Peter J. Stuckey |
| 2026 | CP | Towards Step-Wise Explanations of Large Search Trees (Short Paper). | Ignace Bleukx, Peter J. Stuckey, Tias Guns |
| 2026 | CP | Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search. | Frej Knutar Lewander, Pierre Flener, Justin Pearson, Peter J. Stuckey |
| 2026 | CPAIOR | Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution. | Maarten Flippo, Peter J. Stuckey, Emir Demirovic |
| 2026 | FLOPS | Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication Into SAT (Declarative Pearls). | Neng-Fa Zhou, Chufeng Jiang, Hendrik Bierlee, Peter J. Stuckey |
| 2025 | AAAI | Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums Through Simulated Annealing (Student Abstract). | Ruth-Emely Pierau, Alaster Meehan, Hamid Rezatofighi, Peter J. Stuckey |
| 2025 | AAAI | Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding. | Hongzhi Zang, Yulun Zhang, He Jiang, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li |
| 2025 | AAAI | Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities. | Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey |
| 2025 | CP | Transition Dominance in Domain-Independent Dynamic Programming. | J. Christopher Beck, Ryo Kuroiwa, Jimmy H. M. Lee, Peter J. Stuckey, Allen Z. Zhong |
| 2025 | CP | Towards Modern and Modular SAT for LCG (Short Paper). | Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong |
| 2025 | CP | Unit Types for MiniZinc. | Jip J. Dekker, Jason Nguyen, Peter J. Stuckey, Guido Tack |
| 2025 | CPAIOR | Revisiting Pseudo-Boolean Encodings from an Integer Perspective. | Hendrik Bierlee, Jip J. Dekker, Peter J. Stuckey |
| 2025 | CPAIOR | Parallelising Lazy Clause Generation with Trail Sharing. | Toby O. Davies, Frdric Didier, Laurent Perron, Peter J. Stuckey |
| 2025 | CPAIOR | Combining Constraint Programming and Metaheuristics for Aircraft Maintenance Routing with a Distribution Objective. | Ida Gjergji, Lucas Kletzander, Hendrik Bierlee, Nysret Musliu, Peter J. Stuckey |
| 2025 | FC | 3+ Seat Risk-Limiting Audits for Single Transferable Vote Elections. | Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2025 | FC | Doing More with Less: Mismatch-Based Risk-Limiting Audits. | Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic |
| 2025 | ICCV | Naver: a Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning. | Zhixi Cai, Fucai Ke, Simindokht Jahangard, Maria Garcia de la Banda, Reza Haffari, Peter J. Stuckey, Hamid Rezatofighi |
| 2025 | IJCAI | Dynamic Replanning for Improved Public Transport Routing. | Abdallah Abu-Aisha, Bojie Shen, Daniel Damir Harabor, Peter J. Stuckey, Mark Wallace |
| 2025 | IJCAI | Most General Explanations of Tree Ensembles. | Yacine Izza, Alexey Ignatiev, Sasha Rubin, Joo Marques-Silva, Peter J. Stuckey |
| 2025 | ICTAI | Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance. | Andrii Rohovyi, Peter J. Stuckey, Toby Walsh |
| 2024 | AAAI | Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. | Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey |
| 2024 | AAAI | Delivering Inflated Explanations. | Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, Joo Marques-Silva |
| 2024 | CPAIOR | Single Constant Multiplication for SAT. | Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack |
| 2024 | FC | RLAs for 2-Seat STV Elections: Revisited. | Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2024 | FC | Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. | Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic |
| 2024 | ICAPS | Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. | Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey |
| 2023 | AAAI | Optimal Pathfinding on Weighted Grid Maps. | Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi |
| 2023 | AAAI | Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joo Marques-Silva |
| 2023 | CP | Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). | Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey |
| 2023 | CP | From Formal Boosted Tree Explanations to Interpretable Rule Sets. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey |
| 2023 | FC | Risk-Limiting Audits for Condorcet Elections. | Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2023 | FMCAD | MiniZinc for Formal Methods. | Peter J. Stuckey |
| 2023 | ICORES | Storage Assignment Using Nested Annealing and Hamming Distances. | Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krger |
| 2023 | ICORES | Optimization of the Storage Location Assignment Problem Using Nested Annealing. | Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krger |
| 2023 | IJCAI | A Regular Matching Constraint for String Variables. | Roberto Amadini, Peter J. Stuckey |
| 2022 | AAAI | MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search. | Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig |
| 2022 | AAAI | Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. | Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig |
| 2022 | AAAI | A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. | Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey |
| 2022 | AAAI | Using MaxSAT for Efficient Explanations of Tree Ensembles. | Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, Joo Marques-Silva |
| 2022 | CP | Explaining Propagation for Gini and Spread with Variable Mean. | Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2022 | CPAIOR | Coupling Different Integer Encodings for SAT. | Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey |
| 2022 | CPAIOR | A FastMap-Based Algorithm for Block Modeling. | Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
| 2022 | CPAIOR | Enumerated Types and Type Extensions for MiniZinc. | Peter J. Stuckey, Guido Tack |
| 2022 | ESORICS | Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. | Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2022 | FC | A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. | Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2022 | PAKDD | Modelling Zeros in Blockmodelling. | Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri |
| 2021 | AAAI | f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search. | Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey, Sven Koenig |
| 2021 | AAAI | Symmetry Breaking for k-Robust Multi-Agent Path Finding. | Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey |
| 2021 | AAAI | Optimal Decision Trees for Nonlinear Metrics. | Emir Demirovic, Peter J. Stuckey |
| 2021 | AAAI | Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. | Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordstrm, Peter J. Stuckey |
| 2021 | AAAI | A Scalable Two Stage Approach to Computing Optimal Decision Sets. | Alexey Ignatiev, Edward Lam, Peter J. Stuckey, Joo Marques-Silva |
| 2021 | CP | Optimising Training for Service Delivery. | Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey |
| 2021 | FC | Auditing Hamiltonian Elections. | Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic |
| 2021 | IJCAI | Anytime Multi-Agent Path Finding via Large Neighborhood Search. | Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig |
| 2021 | IJCAI | Reasoning-Based Learning of Interpretable ML Models. | Alexey Ignatiev, Joo Marques-Silva, Nina Narodytska, Peter J. Stuckey |
| 2021 | SAS | Disjunctive Interval Analysis. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | AAAI | Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections. | Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa J. Teague |
| 2020 | AAAI | Teaching Constraint Programming Using Fable-Based Learning. | Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey |
| 2020 | AAAI | Dynamic Programming for Predict+Optimise. | Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan |
| 2020 | AAAI | Modelling and Solving Online Optimisation Problems. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | AAAI | Modelling Diversity of Solutions. | Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack |
| 2020 | AAAI | Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems. | Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns |
| 2020 | AAAI | Explaining Propagators for String Edit Distance Constraints. | Felix Winter, Nysret Musliu, Peter J. Stuckey |
| 2020 | CP | Dashed Strings and the Replace(-all) Constraint. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2020 | CP | Solving Satisfaction Problems Using Large-Neighbourhood Search. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2020 | CP | Aggregation and Garbage Collection for Online Optimization. | Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2020 | CP | The Argmax Constraint. | Graeme Gange, Peter J. Stuckey |
| 2020 | CP | Large Neighborhood Search for Temperature Control with Demand Response. | Edward Lam, Frits de Nijs, Peter J. Stuckey, Donald Azuatalam, Ariel Liebman |
| 2020 | CP | Exact Approaches to the Multi-agent Collective Construction Problem. | Edward Lam, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar |
| 2020 | CP | Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models. | Buser Say, Jo Devriendt, Jakob Nordstrm, Peter J. Stuckey |
| 2020 | CP | Computing Optimal Decision Sets with SAT. | Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic |
| 2020 | CPAIOR | Core-Guided and Core-Boosted Search for CP. | Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2020 | CPAIOR | Robust Resource Planning for Aircraft Ground Operations. | Yagmur S. Gk, Daniel Guimarans, Peter J. Stuckey, Maurizio Tomasella, Cemalettin Ozturk |
| 2020 | ECAI | String Constraint Solving: Past, Present and Future. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | IJCAI | Iterative-Deepening Conflict-Based Search. | Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig |
| 2020 | IJCAI | Euclidean Pathfinding with Compressed Path Databases. | Bojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey |
| 2020 | IJCNN | Improving Single and Multi-View Blockmodelling by Algebraic Simplification. | Rishabh Ramteke, Peter J. Stuckey, Jeffrey Chan, Kotagiri Ramamohanarao, James Bailey, Christopher Leckie, Emir Demirovic |
| 2020 | LOPSTR | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | AAAI | Searching with Consistent Prioritization for Multi-Agent Path Finding. | Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig |
| 2019 | AAAI | Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding. | Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig |
| 2019 | APLAS | Dissecting Widening: Separating Termination from Information. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | ARITH | Optimal Bounds for Floating-Point Addition in Constant Time. | Mak Andrlon, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | CP | Peak-Hour Rail Demand Shifting with Discrete Optimisation. | John M. Betts, David L. Dowe, Daniel Guimarans, Daniel Damir Harabor, Heshan Kumarage, Peter J. Stuckey, Michael Wybrow |
| 2019 | CP | Exploring Declarative Local-Search Neighbourhoods with Constraint Programming. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey |
| 2019 | CP | Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search. | Emir Demirovic, Peter J. Stuckey |
| 2019 | CP | Compiling Conditional Constraints. | Peter J. Stuckey, Guido Tack |
| 2019 | CPAIOR | Constraint Programming for Dynamic Symbolic Execution of JavaScript. | Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | CPAIOR | Core-Boosted Linear Search for Incomplete MaxSAT. | Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2019 | CPAIOR | Local Rapid Learning for Integer Programs. | Timo Berthold, Peter J. Stuckey, Jakob Witzig |
| 2019 | CPAIOR | An Investigation into Prediction + Optimisation for the Knapsack Problem. | Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Chris Leckie, Kotagiri Ramamohanarao, Tias Guns |
| 2019 | CPAIOR | Time Table Edge Finding with Energy Variables. | Moli Yang, Andreas Schutt, Peter J. Stuckey |
| 2019 | FC | Election Manipulation 100. | Michelle L. Blom, Peter J. Stuckey, Vanessa J. Teague |
| 2019 | IJCAI | Path Planning with CPD Heuristics. | Massimo Bono, Alfonso Emilio Gerevini, Daniel Damir Harabor, Peter J. Stuckey |
| 2019 | IJCAI | Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions. | Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns |
| 2019 | IJCAI | Regarding Jump Point Search and Subgoal Graphs. | Daniel Damir Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig |
| 2019 | IJCAI | Branch-and-Cut-and-Price for Multi-Agent Pathfinding. | Edward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey |
| 2019 | ISSTA | Optimal context-sensitive dynamic partial order reduction with observers. | Elvira Albert, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Miguel Isabel, Peter J. Stuckey |
| 2018 | AAAI | Sweep-Based Propagation for String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | AAAI | Lagrangian Constrained Community Detection. | Mohadeseh Ganji, James Bailey, Peter J. Stuckey |
| 2018 | CP | Propagating Regular Membership with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | CP | Solver-Independent Large Neighbourhood Search. | Jip J. Dekker, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack |
| 2018 | CP | Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. | Emir Demirovic, Geoffrey Chu, Peter J. Stuckey |
| 2018 | CP | Sequential Precede Chain for Value Symmetry Elimination. | Graeme Gange, Peter J. Stuckey |
| 2018 | CPAIOR | Propagating lex, find and replace with Dashed Strings. | Roberto Amadini, Graeme Gange, Peter J. Stuckey |
| 2018 | CPAIOR | Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts. | Emir Demirovic, Peter J. Stuckey |
| 2018 | CPAIOR | Solver Independent Rotating Workforce Scheduling. | Nysret Musliu, Andreas Schutt, Peter J. Stuckey |
| 2018 | FLOPS | Breaking Symmetries with Lex Implications. | Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2018 | IJCAI | Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping. | Diego de Ua, Nataliia Rmmele, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2018 | ICTAI | Declarative Local-Search Neighbourhoods in MiniZinc. | Gustav Bjrdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, Guido Tack |
| 2018 | SDM | Image Constrained Blockmodelling: A Constraint Programming Approach. | Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Ian Davidson |
| 2017 | AAAI | Automatic Logic-Based Benders Decomposition with MiniZinc. | Toby O. Davies, Graeme Gange, Peter J. Stuckey |
| 2017 | ATVA | Fixing the State Budget: Approximation of Regular Languages with Small DFAs. | Graeme Gange, Pierre Ganty, Peter J. Stuckey |
| 2017 | CAV | Context-Sensitive Dynamic Partial Order Reduction. | Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gmez-Zamalloa, Peter J. Stuckey |
| 2017 | CP | A Novel Approach to String Constraint Solving. | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
| 2017 | CP | A Declarative Approach to Constrained Community Detection. | Mohadeseh Ganji, James Bailey, Peter J. Stuckey |
| 2017 | CPAIOR | Range-Consistent Forbidden Regions of Allen's Relations. | Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J. Stuckey |
| 2017 | CPAIOR | Minimizing Landscape Resistance for Habitat Conservation. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2017 | DCC | Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes. | Ramanan Subramanian, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M. Lesk, Arun Siddharth Konagurthu |
| 2016 | AAAI | Steiner Tree Problems with Side Constraints Using Constraint Programming. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CP | Improved Linearization of Constraint Programming Models. | Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace |
| 2016 | CP | Breaking Symmetries in Graphs: The Nauty Way. | Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
| 2016 | CP | Interval Constraints with Learning: Application to Air Traffic Control. | Thibaut Feydy, Peter J. Stuckey |
| 2016 | CP | Explaining Producer/Consumer Constraints. | Andreas Schutt, Peter J. Stuckey |
| 2016 | CP | A Bounded Path Propagator on Directed Graphs. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CPAIOR | On CNF Encodings of Decision Diagrams. | Ignasi Abo, Graeme Gange, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2016 | CPAIOR | Lagrangian Decomposition via Sub-problem Search. | Geoffrey Chu, Graeme Gange, Peter J. Stuckey |
| 2016 | CPAIOR | Parallelizing Constraint Programming with Learning. | Thorsten Ehlers, Peter J. Stuckey |
| 2016 | CPAIOR | Rail Capacity Modelling with Constraint Programming. | Daniel Harabor, Peter J. Stuckey |
| 2016 | CPAIOR | Weighted Spanning Tree Constraint with Explanations. | Diego de Ua, Graeme Gange, Peter Schachte, Peter J. Stuckey |
| 2016 | CPAIOR | A Bit-Vector Solver with Word-Level Propagation. | Wenxi Wang, Harald Sndergaard, Peter J. Stuckey |
| 2016 | ECAI | Efficient Computation of Exact IRV Margins. | Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar |
| 2016 | ICLP | Constraint Propagation and Explanation over Novel Types by Abstract Compilation. | Graeme Gange, Peter J. Stuckey |
| 2016 | IJCAI | Sequencing Operator Counts. | Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky |
| 2016 | LOPSTR | MiniZinc with Strings. | Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack |
| 2016 | SDM | Lagrangian Constrained Clustering. | Mohadeseh Ganji, James Bailey, Peter J. Stuckey |
| 2016 | SAS | Exploiting Sparsity in Difference-Bound Matrices. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2015 | CP | Encoding Linear Constraints with Implication Chains to CNF. | Ignasi Abo, Valentin Mayer-Eichberger, Peter J. Stuckey |
| 2015 | CP | Modeling and Solving Project Scheduling with Calendars. | Stefan Kreter, Andreas Schutt, Peter J. Stuckey |
| 2015 | CP | MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. | Andrea Rendl, Tias Guns, Peter J. Stuckey, Guido Tack |
| 2015 | CPAIOR | Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study. | Christina N. Burt, Nir Lipovetzky, Adrian R. Pearce, Peter J. Stuckey |
| 2015 | CPAIOR | Learning Value Heuristics for Constraint Programming. | Geoffrey Chu, Peter J. Stuckey |
| 2014 | CP | Encoding Linear Constraints into SAT. | Ignasi Abo, Peter J. Stuckey |
| 2014 | CP | Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. | Roberto Amadini, Peter J. Stuckey |
| 2014 | CP | Nested Constraint Programs. | Geoffrey Chu, Peter J. Stuckey |
| 2014 | CP | Loop Untangling. | Kathryn Francis, Peter J. Stuckey |
| 2014 | CP | Stochastic MiniZinc. | Andrea Rendl, Guido Tack, Peter J. Stuckey |
| 2014 | CPAIOR | Local Search for a Cargo Assembly Planning Problem. | Gleb Belov, Natashia Boland, Martin W. P. Savelsbergh, Peter J. Stuckey |
| 2014 | CPAIOR | Modelling with Option Types in MiniZinc. | Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace |
| 2014 | DIAGRAMS | Seeing Around Corners: Fast Orthogonal Connector Routing. | Kim Marriott, Peter J. Stuckey, Michael Wybrow |
| 2014 | LOPSTR | Analyzing Array Manipulating Programs by Program Transformation. | J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | AAAI | Automated Design of Search with Composability. | Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack |
| 2013 | CADE | Solving Difference Constraints over Modular Arithmetic. | Graeme Gange, Harald Sndergaard, Peter J. Stuckey, Peter Schachte |
| 2013 | CP | To Encode or to Propagate? The Best Choice for Each Constraint in SAT. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Peter J. Stuckey |
| 2013 | CP | Dominance Driven Search. | Geoffrey Chu, Peter J. Stuckey |
| 2013 | CP | Modelling Destructive Assignments. | Kathryn Francis, Jorge A. Navas, Peter J. Stuckey |
| 2013 | CP | Explaining Propagators for Edge-Valued Decision Diagrams. | Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck |
| 2013 | CP | Scheduling Optional Tasks with Explanation. | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey |
| 2013 | CP | Those Who Cannot Remember the Past Are Condemned to Repeat It. | Peter J. Stuckey |
| 2013 | CPAIOR | A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. | Hanyu Gu, Andreas Schutt, Peter J. Stuckey |
| 2013 | CPAIOR | Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey |
| 2013 | CPAIOR | MiniZinc with Functions. | Peter J. Stuckey, Guido Tack |
| 2013 | ICDM | Statistical Inference of Protein "LEGO Bricks". | Arun Siddharth Konagurthu, Lloyd Allison, David Abramson, Peter J. Stuckey, Arthur M. Lesk |
| 2013 | PPDP | Finite type extensions in constraint programming. | Rafael Caballero, Peter J. Stuckey, Antonio Tenorio-Fornes |
| 2013 | SAS | Abstract Interpretation over Non-lattice Abstract Domains. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2012 | APLAS | Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. | Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2012 | CP | Conflict Directed Lazy Decomposition. | Ignasi Abo, Peter J. Stuckey |
| 2012 | CP | A Generic Method for Identifying and Exploiting Dominance Relations. | Geoffrey Chu, Peter J. Stuckey |
| 2012 | CP | Inter-instance Nogood Learning in Constraint Programming. | Geoffrey Chu, Peter J. Stuckey |
| 2012 | CP | Optimisation Modelling for Software Developers. | Kathryn Francis, Sebastian Brand, Peter J. Stuckey |
| 2012 | CP | Maximising the Net Present Value of Large Resource-Constrained Projects. | Hanyu Gu, Peter J. Stuckey, Mark G. Wallace |
| 2012 | CPAIOR | Explaining Flow-Based Propagation. | Nicholas Downing, Thibaut Feydy, Peter J. Stuckey |
| 2012 | CPAIOR | Explaining Propagators for s-DNNF Circuits. | Graeme Gange, Peter J. Stuckey |
| 2012 | CPAIOR | Maximising the Net Present Value for Resource-Constrained Project Scheduling. | Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace |
| 2012 | DIAGRAMS | Orthogonal Hyperedge Routing. | Michael Wybrow, Kim Marriott, Peter J. Stuckey |
| 2012 | DocEng | Optimal guillotine layout. | Graeme Gange, Kim Marriott, Peter J. Stuckey |
| 2012 | FLOPS | A General Implementation Framework for Tabled CLP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
| 2012 | ICLP | Lazy Model Expansion by Incremental Grounding. | Broes De Cat, Marc Denecker, Peter J. Stuckey |
| 2012 | LOPSTR | An Introduction to Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2011 | CP | Half Reification and Flattening. | Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey |
| 2011 | CP | Boolean Equi-propagation for Optimized SAT Encoding. | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2011 | CP | Search Combinators. | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
| 2011 | CP | Optimal Carpet Cutting. | Andreas Schutt, Peter J. Stuckey, Andrew R. Verden |
| 2011 | DocEng | Optimal automatic table layout. | Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey |
| 2011 | ICLP | Constraints in Non-Boolean Contexts. | Leslie De Koninck, Sebastian Brand, Peter J. Stuckey |
| 2011 | IJCAI | Symmetries and Lazy Clause Generation. | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears |
| 2010 | CPAIOR | Rapid Learning for Binary Programs. | Timo Berthold, Thibaut Feydy, Peter J. Stuckey |
| 2010 | CPAIOR | Automatically Exploiting Subproblem Equivalence in Constraint Programming. | Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey |
| 2010 | CPAIOR | Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. | Peter J. Stuckey |
| 2010 | GD | Optimal | Graeme Gange, Peter J. Stuckey, Kim Marriott |
| 2009 | CP | Minimizing the Maximum Number of Open Stacks by Customer Search. | Geoffrey Chu, Peter J. Stuckey |
| 2009 | CP | Using Relaxations in Maximum Density Still Life. | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
| 2009 | CP | Confidence-Based Work Stealing in Parallel Constraint Programming. | Geoffrey Chu, Christian Schulte, Peter J. Stuckey |
| 2009 | CP | Lazy Clause Generation Reengineered. | Thibaut Feydy, Peter J. Stuckey |
| 2009 | CP | The Proper Treatment of Undefinedness in Constraint Languages. | Alan M. Frisch, Peter J. Stuckey |
| 2009 | CP | Maintaining State in Propagation Solvers. | Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack |
| 2009 | CP | Why Cumulative Decomposition Is Not as Bad as It Sounds. | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace |
| 2009 | GD | Orthogonal Connector Routing. | Michael Wybrow, Kim Marriott, Peter J. Stuckey |
| 2009 | ICLP | Demand-Driven Normalisation for ACD Term Rewriting. | Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey |
| 2009 | PPDP | A declarative encoding of telecommunications feature subscription in SAT. | Michael Codish, Samir Genaim, Peter J. Stuckey |
| 2008 | CPAIOR | From High-Level Model to Branch-and-Price Solution in G12. | Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand |
| 2008 | DIAGRAMS | Smooth Linear Approximation of Non-overlap Constraints. | Graeme Gange, Kim Marriott, Peter J. Stuckey |
| 2008 | ECAI | Fast Set Bounds Propagation using BDDs. | Graeme Gange, Vitaly Lagoon, Peter J. Stuckey |
| 2008 | FLOPS | Optimizing Compilation of CHR with Rule Priorities. | Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck |
| 2008 | ICLP | Telecommunications Feature Subscription as a Partial Order Constraint Problem. | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2008 | ICLP | Cadmium: An Implementation of ACD Term Rewriting. | Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey |
| 2008 | ICLP | Dynamic Analysis of Bounds Versus Domain Propagation. | Christian Schulte, Peter J. Stuckey |
| 2008 | PADL | Flexible, Rule-Based Constraint Model Linearisation. | Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey |
| 2008 | PEPM | Automating branch-and-bound for dynamic programs. | Jakob Puchinger, Peter J. Stuckey |
| 2008 | PPDP | Global difference constraint propagation for finite domain solvers. | Thibaut Feydy, Andreas Schutt, Peter J. Stuckey |
| 2008 | PPDP | Dynamic variable elimination during propagation solving. | Christian Schulte, Peter J. Stuckey |
| 2007 | CP | Encodings of the Sequence Constraint. | Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh |
| 2007 | CP | MiniZinc: Towards a Standard CP Modelling Language. | Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack |
| 2007 | CP | Propagation = Lazy Clause Generation. | Olga Ohrimenko, Peter J. Stuckey, Michael Codish |
| 2007 | CPAIOR | Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. | Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey |
| 2007 | ICDE | Practical Preference Relations for Large Data Sets. | Kenneth A. Ross, Peter J. Stuckey, Amlie Marian |
| 2007 | ICLP | Observable Confluence for Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann |
| 2007 | SAC | Propagating dense systems of integer linear equations. | Thibaut Feydy, Peter J. Stuckey |
| 2007 | SAC | Constraint propagation for loose constraint graphs. | Kathryn Francis, Peter J. Stuckey |
| 2006 | APLAS | Type Processing by Constraint Reasoning. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2006 | APLAS | Principal Type Inference for GHC-Style Multi-parameter Type Classes. | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey |
| 2006 | ESOP | Size-Change Termination Analysis in | Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey |
| 2006 | FLOPS | A Framework for Extended Algebraic Data Types. | Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey |
| 2006 | GD | Fast Node Overlap Removal - Correction. | Tim Dwyer, Kim Marriott, Peter J. Stuckey |
| 2006 | ICLP | ACD Term Rewriting. | Gregory J. Duck, Peter J. Stuckey, Sebastian Brand |
| 2006 | Middleware | Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware. | Lei Ni, Aaron Harwood, Peter J. Stuckey |
| 2006 | PADL | Adding Constraint Solving to Mercury. | Ralph Becket, Maria J. Garca de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace |
| 2006 | PADL | A Hybrid BDD and SAT Finite Domain Constraint Solver. | Peter Hawkins, Peter J. Stuckey |
| 2006 | PRICAI | A Stochastic Non-CNF SAT Solver. | Rafiq Muhammad, Peter J. Stuckey |
| 2005 | CP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | GD | Fast Node Overlap Removal. | Tim Dwyer, Kim Marriott, Peter J. Stuckey |
| 2005 | GD | Incremental Connector Routing. | Michael Wybrow, Kim Marriott, Peter J. Stuckey |
| 2005 | ICLP | Testing for Termination with Monotonicity Constraints. | Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
| 2005 | ICLP | The G12 Project: Mapping Solver Independent Models to Efficient Solutions. | Peter J. Stuckey, Maria J. Garca de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh |
| 2005 | PADL | Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. | James Bailey, Peter J. Stuckey |
| 2005 | PPDP | Abstract interpretation for constraint handling rules. | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
| 2004 | CP | Set Domain Propagation Using ROBDDs. | Vitaly Lagoon, Peter J. Stuckey |
| 2004 | CP | Speeding Up Constraint Propagation. | Christian Schulte, Peter J. Stuckey |
| 2004 | ESOP | Sound and Decidable Type Inference for Functional Dependencies. | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
| 2004 | HASKELL | Improving type error diagnosis. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2004 | ICLP | Compiling Ask Constraints. | Gregory J. Duck, Maria J. Garca de la Banda, Peter J. Stuckey |
| 2004 | ICLP | The Refined Operational Semantics of Constraint Handling Rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2004 | PPDP | Just enough tabling. | Konstantinos Sagonas, Peter J. Stuckey |
| 2003 | APLAS | Resource Usage Verification. | Kim Marriott, Peter J. Stuckey, Martin Sulzmann |
| 2003 | CP | Box Constraint Collections for Adhoc Constraints. | Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | CP | Propagation Redundancy in Redundant Modelling. | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | HASKELL | Interactive type debugging in Haskell. | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny |
| 2003 | ICLP | Termination Analysis with Types Is More Accurate. | Vitaly Lagoon, Frdric Mesnard, Peter J. Stuckey |
| 2003 | IJCAI | Efficient Representation of Adhoc Constraints. | Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | IJCAI | Propagation Redundancy for Permutation Channels. | Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2003 | ICTAI | Improving Nogood Recording Using 2SAT. | Peter J. Stuckey, Lei Zheng |
| 2003 | PPDP | Finding all minimal unsatisfiable subsets. | Maria J. Garca de la Banda, Peter J. Stuckey, Jeremy Wazny |
| 2003 | PPDP | Extending arbitrary solvers with constraint handling rules. | Gregory J. Duck, Peter J. Stuckey, Maria J. Garca de la Banda, Christian Holzbaur |
| 2002 | AAAI | Reducing Search Space in Local Search for Constraint Satisfaction. | Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 2002 | ADC | Compacting Discriminator Information for Spatial Trees. | Inga Sitzmann, Peter J. Stuckey |
| 2002 | CP | Improving GSAT Using 2SAT. | Peter J. Stuckey, Lei Zheng |
| 2002 | FLOPS | To the Gates of HAL: A HAL Tutorial. | Maria J. Garca de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
| 2002 | ICFP | Exception analysis for non-strict languages. | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Sndergaard |
| 2002 | ICFP | A theory of overloading. | Peter J. Stuckey, Martin Sulzmann |
| 2002 | PATAT | A Hybrid Algorithm for the Examination Timetabling Problem. | Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey |
| 2002 | PPDP | Precise pair-sharing analysis of logic programs. | Vitaly Lagoon, Peter J. Stuckey |
| 2002 | PPDP | Constraint-based mode analysis of mercury. | David Overton, Zoltan Somogyi, Peter J. Stuckey |
| 2002 | PPDP | Using the heap to eliminate stack accesses. | Zoltan Somogyi, Peter J. Stuckey |
| 2001 | CP | Solving Disjunctive Constraints for Interactive Graphical Applications. | Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning |
| 2001 | FLOPS | A Framework for Analysis of Typed Logic Programs. | Vitaly Lagoon, Peter J. Stuckey |
| 2001 | ICLP | Building Constraint Solvers with HAL. | Maria J. Garca de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
| 2001 | ICLP | Higher-Precision Groundness Analysis. | Michael Codish, Samir Genaim, Harald Sndergaard, Peter J. Stuckey |
| 2001 | ICLP | Optimizing Compilation of Constraint Handling Rules. | Christian Holzbaur, Maria J. Garca de la Banda, David Jeffery, Peter J. Stuckey |
| 2001 | PPDP | When Do Bounds and Domain Propagation Lead to the Same Search Space? | Christian Schulte, Peter J. Stuckey |
| 2001 | SAS | Effective Strictness Analysis with HORN Constraints. | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann |
| 2000 | ADC | O-Trees: A Constraint-Based Index Structure. | Inga Sitzmann, Peter J. Stuckey |
| 2000 | DEXA | Improving Temporal Joins Using Histograms. | Inga Sitzmann, Peter J. Stuckey |
| 2000 | LOPSTR | A model for inter-module analysis and optimizing compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 2000 | LOPSTR | A Model for Inter-module Analysis and Optimizing Compilation. | Francisco Bueno, Maria J. Garca de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germn Puebla, Peter J. Stuckey |
| 1999 | CP | An Overview of HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | ICLP | Herbrand Constraint Solving in HAL. | Bart Demoen, Maria J. Garca de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey |
| 1999 | UIST | Constraint Cascading Style Sheets for the Web. | Greg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey |
| 1998 | CP | Constraint Representation for Propagation. | Warwick Harvey, Peter J. Stuckey |
| 1998 | ICTAI | A Lagrangian reconstruction of a class of local search methods. | Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey |
| 1997 | CP | Compiling Constraint Solving using Projection. | Warwick Harvey, Peter J. Stuckey, Alan Borning |
| 1997 | ICLP | Optimization of Logic Programs with Dynamic Scheduling. | Germn Puebla, Maria J. Garca de la Banda, Kim Marriott, Peter J. Stuckey |
| 1997 | ICLP | Constraint Search Tree. | Peter J. Stuckey |
| 1997 | ICTAI | Extending EGENET with Lazy Constraint Consistency. | Peter J. Stuckey, Vincent W. L. Tam |
| 1997 | UIST | Solving Linear Arithmetic Constraints for User Interface Applications. | Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao |
| 1996 | ICLP | Effectiveness of Optimizing Compilation for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap |
| 1996 | SIGMOD | Cost-Based Optimization for Magic: Algebra and Implementation. | Praveen Seshadri, Joseph M. Hellerstein, Hamid Pirahesh, T. Y. Cliff Leung, Raghu Ramakrishnan, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan |
| 1996 | SAS | Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. | Andrew D. Kelly, Kim Marriott, Harald Sndergaard, Peter J. Stuckey |
| 1995 | CP | An Optimizing Compiler for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Sndergaard, Peter J. Stuckey, Roland H. C. Yap |
| 1995 | ICLP | Linear Equation Solving for Constraint Logic Programming. | Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap |
| 1995 | ICLP | Incremental Analysis of Logic Programs. | Manuel V. Hermenegildo, Germn Puebla, Kim Marriott, Peter J. Stuckey |
| 1994 | ICLP | Semantics of Constraint Logic Programs with Optimization. | Kim Marriott, Peter J. Stuckey |
| 1994 | PODS | Compiling Query Constraints. | Peter J. Stuckey, S. Sudarshan |
| 1993 | ICLP | Analysis Based Constraint Query Optimization. | David B. Kemp, Peter J. Stuckey |
| 1993 | ICLP | Status of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |
| 1993 | POPL | The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. | Kim Marriott, Peter J. Stuckey |
| 1992 | ICLP | Query Restricted Bottom-Up Evaluation of Normal Logic Programs. | David B. Kemp, Peter J. Stuckey, Divesh Srivastava |
| 1992 | PLDI | An Abstract Machine for CLP(R). | Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap |
| 1991 | ICDE | Design Overview of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey |
| 1991 | LICS | Constructive Negation for Constraint Logic Programming | Peter J. Stuckey |
| 1987 | ICLP | CLP(R) and Some Electrical Engineering Problems. | Nevin Heintze, Spiro Michaylov, Peter J. Stuckey |
| 1986 | ICLP | Logic Program Semantics for Programming with Equations. | Joxan Jaffar, Peter J. Stuckey |