Peter J. Stuckey

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 248

Top Venues

CoRR

CPAIOR

AAAI

Publications

Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
RLAs for 2-Seat STV Elections: Revisited. CoRR (2024)
Shizhe Zhao, Daniel Harabor, Peter J. Stuckey
Reducing Redundant Work in Jump Point Search. CoRR (2023)
Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202 (2023)
Sergey Polyakovskiy, Peter J. Stuckey
A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem. ICAPS (2023)
Peter J. Stuckey
MiniZinc for Formal Methods. FMCAD (2023)
Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
A FastMap-Based Framework for Efficiently Computing Top-K Projected Centrality. LOD (1) (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations. AAAI (2023)
Piyumi R. Amarasinghe, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arthur M. Lesk, Arun Siddharth Konagurthu
Getting 'ϕψχal' with proteins: minimum message length inference of joint distributions of backbone and sidechain dihedral angles. Bioinform. 39 (Supplement-1) (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
On Formal Feature Attribution and Its Approximation. CoRR (2023)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey
From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP (2023)
Roberto Amadini, Peter J. Stuckey
A Regular Matching Constraint for String Variables. IJCAI (2023)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Risk-Limiting Audits for Condorcet Elections. CoRR (2023)
Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP (2023)
Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger
Storage Assignment Using Nested Annealing and Hamming Distances. ICORES (2023)
Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. ICPC (2023)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Risk-Limiting Audits for Condorcet Elections. FC Workshops (2023)
Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. CoRR (2023)
Sandun Rajapaksa, Lloyd Allison, Peter J. Stuckey, Maria Garcia de la Banda, Arun Siddharth Konagurthu
The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences. CoRR (2023)
Bojie Shen, Zhe Che 0016n, Jiaoyang Li, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
Beyond Pairwise Reasoning in Multi-Agent Path Finding. ICAPS (2023)
Anubhav Singh, Miquel Ramírez, Nir Lipovetzky, Peter J. Stuckey
Lifted Sequential Planning with Lazy Constraint Generation Solvers. CoRR (2023)
Bojie Shen, Zhe Chen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
Tracking Progress in Multi-Agent Path Finding. CoRR (2023)
Edward Lam, Daniel Damir Harabor, Peter J. Stuckey, Jiaoyang Li
Exact Anytime Multi-Agent Path Finding Using Branch-and-Cut-and-Price and Large Neighborhood Search. ICAPS (2023)
Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi
Optimal Pathfinding on Weighted Grid Maps. AAAI (2023)
Shizhe Zhao, Daniel Harabor, Peter J. Stuckey
Reducing Redundant Work in Jump Point Search. SOCS (2023)
Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey
Anytime Approximate Formal Feature Attribution. CoRR (2023)
Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. CoRR (2023)
Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey
Scalable Rail Planning and Replanning with Soft Deadlines. CoRR (2023)
Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey
Efficient Multi Agent Path Finding with Turn Actions. SOCS (2023)
Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva
Delivering Inflated Explanations. CoRR (2023)
Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR (2023)
Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
Fast optimal and bounded suboptimal Euclidean pathfinding. Artif. Intell. 302 (2022)
Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva
Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI (2022)
Edward Lam, Guy Desaulniers, Peter J. Stuckey
Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations. Comput. Oper. Res. 145 (2022)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Assessing the accuracy of the Australian Senate count: Key steps for a rigorous and transparent audit. CoRR (2022)
Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic
Multi-Target Search in Euclidean Space with Ray Shooting (Full Version). CoRR (2022)
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Edward Lam, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey
Branch-and-cut-and-price for multi-agent path finding. Comput. Oper. Res. 144 (2022)
Ryan Hechenberger, Peter J. Stuckey, Pierre Le Bodic, Daniel Damir Harabor
Dual Euclidean Shortest Path Search (Extended Abstract). SOCS (2022)
Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. AAAI (2022)
Laurence A. F. Park, Mohadeseh Ganji, Emir Demirovic, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Rao Kotagiri
Modelling Zeros in Blockmodelling. PAKDD (2) (2022)
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Ranked Voting Elections with Dirichlet-Tree Models: First Steps. CoRR (2022)
Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar
A FastMap-Based Algorithm for Block Modeling. CPAIOR (2022)
Floyd Everest, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Ballot-Polling Audits of Instant-Runoff Voting Elections with a Dirichlet-Tree Model. CoRR (2022)
Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey
MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. 23 (2022)
Peter J. Stuckey, Guido Tack
Enumerated Types and Type Extensions for MiniZinc. CPAIOR (2022)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. Financial Cryptography Workshops (2022)
Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig
MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search. AAAI (2022)
Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
Improving Time-Dependent Contraction Hierarchies. ICAPS (2022)
Ali Ugur Guler, Emir Demirovic, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems. AAAI (2022)
Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey
Coupling Different Integer Encodings for SAT. CPAIOR (2022)
Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack
Explaining Propagation for Gini and Spread with Variable Mean. CP (2022)
Christoph Bergmeir, Frits de Nijs, Abishek Sriramulu, Mahdi Abolghasemi, Richard Bean, John M. Betts, Quang Bui, Nam Trong Dinh, Nils Einecke, Rasul Esmaeilbeigi, Scott Ferraro, Priya Galketiya, Evgenii Genov, Robert Glasgow, Rakshitha Godahewa, Yanfei Kang, Steffen Limmer, Luis Magdalena, Pablo Montero-Manso, Daniel Peralta, Yogesh Pipada Sunil Kumar, Alejandro Rosales-Pérez, Julian Ruddick, Akylas C. Stratigakos, Peter J. Stuckey, Guido Tack, Isaac Triguero, Rui Yuan
Comparison and Evaluation of Methods for a Predict+Optimize Problem in Renewable Energy. CoRR (2022)
Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Multi-Train Path Finding Revisited. SOCS (2022)
Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS (2022)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva
Eliminating The Impossible, Whatever Remains Must Be True. CoRR (2022)
Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. SOCS (2021)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Hamiltonian Elections. Financial Cryptography Workshops (2021)
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search. CoRR (2021)
Buser Say, Scott Sanner, Jo Devriendt, Jakob Nordström, Peter J. Stuckey
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021. CoRR (2021)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21 (6) (2021)
Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Further Improved Heuristics For Conflict-Based Search. SOCS (2021)
Emir Demirovic, Peter J. Stuckey
Optimal Decision Trees for Nonlinear Metrics. AAAI (2021)
Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant
Jump Point Search with Temporal Obstacles. ICAPS (2021)
Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey
Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. IEEE Robotics Autom. Lett. 6 (3) (2021)
Arthur Mahéo, Shizhe Zhao, Hassan Afzaal, Daniel Harabor, Peter J. Stuckey, Mark Wallace
Customised Shortest Paths Using a Distributed Reverse Oracle. SOCS (2021)
Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
A First Approach to Risk-Limiting Audits for Single Transferable Vote Elections. CoRR (2021)
Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Assertion-based Approaches to Auditing Complex Elections, with application to party-list proportional elections. CoRR (2021)
Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey
Optimising Training for Service Delivery. CP (2021)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. CoRR (2021)
Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey
Symmetry Breaking for k-Robust Multi-Agent Path Finding. AAAI (2021)
Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Anytime Multi-Agent Path Finding via Large Neighborhood Search. AAMAS (2021)
Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Graeme Gange, Sven Koenig
Pairwise symmetry reasoning for multi-agent path finding search. Artif. Intell. 301 (2021)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Disjunctive Interval Analysis. SAS (2021)
Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey
Symmetry Breaking for k-Robust Multi-Agent Path Finding. CoRR (2021)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Lightweight Nontermination Inference with CHCs. SEFM (2021)
Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning. AAAI (2021)
Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey
Reasoning-Based Learning of Interpretable ML Models. IJCAI (2021)
Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig
Anytime Multi-Agent Path Finding via Large Neighborhood Search. IJCAI (2021)
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI (2021)
Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva
A Scalable Two Stage Approach to Computing Optimal Decision Sets. CoRR (2021)
Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
Scalable Rail Planning and Replanning: Winning the 2020 Flatland Challenge. ICAPS (2021)
Sandun Rajapaksa, Dinithi Sumanaweera, Maria Garcia de la Banda, Peter J. Stuckey, David Abramson, Lloyd Allison, Arthur M. Lesk, Arun Siddharth Konagurthu
On identifying statistical redundancy at the level of amino acid subsequences. BIBM (2021)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
Learning Optimal Decision Sets and Lists with SAT. J. Artif. Intell. Res. 72 (2021)
Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey
Contracting and Compressing Shortest Path Databases. ICAPS (2021)
Ryan Hechenberger, Daniel Harabor, Muhammad Aamir Cheema, Peter J. Stuckey, Pierre Le Bodic
Multi-Target Search in Euclidean Space with Ray Shooting. SOCS (2021)
Eli Boyarski, Ariel Felner, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey, Sven Koenig
f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search. AAAI (2021)
Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Auditing Hamiltonian Elections. CoRR (2021)
Michelle L. Blom, Jurlind Budurushi, Ronald L. Rivest, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Assertion-Based Approaches to Auditing Complex Elections, with Application to Party-List Proportional Elections. E-VOTE-ID (2021)
Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig
ECBS with Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding. SOCS (2021)
Zhe Chen, Javier Alonso-Mora, Xiaoshan Bai, Daniel Damir Harabor, Peter J. Stuckey
Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery. CoRR (2021)
Jinqiang Yu, Alexey Ignatiev, Pierre Le Bodic, Peter J. Stuckey
Optimal Decision Lists using SAT. CoRR (2020)
Shizhe Zhao, Mattia Chiari, Adi Botea, Alfonso Emilio Gerevini, Daniel Harabor, Alessandro Saetti, Peter J. Stuckey
Bounded Suboptimal Path Planning with Compressed Path Databases. ICAPS (2020)
Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig
New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding. SOCS (2020)
Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack
Modelling Diversity of Solutions. AAAI (2020)
Ignasi Abío, Valentin Mayer-Eichberger, Peter J. Stuckey
Encoding Linear Constraints into SAT. CoRR (2020)
Michelle L. Blom, Andrew Conway, Dan King, Laurent Sandrolini, Philip B. Stark, Peter J. Stuckey, Vanessa Teague
You can do RLAs for IRV. CoRR (2020)
Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
Core-Guided and Core-Boosted Search for CP. CPAIOR (2020)
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic
Computing Optimal Decision Sets with SAT. CoRR (2020)
Michelle L. Blom, Andrew Conway, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic
Random errors are not politically neutral. CoRR (2020)

Peter J. Stuckey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter J. Stuckey