default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter J. Stuckey
Peter James Stuckey
Person information
- affiliation: Monash University, Australia
- affiliation (former): University of Melbourne, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j130]Elvira Albert
, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques. Proc. ACM Program. Lang. 8(PLDI): 1437-1462 (2024)- [j129]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23(2): 319-342 (2024) - [c383]Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva:
Delivering Inflated Explanations. AAAI 2024: 12744-12753 - [c382]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. AAAI 2024: 20674-20682 - [c381]Hendrik Bierlee, Jip J. Dekker, Vitaly Lagoon, Peter J. Stuckey, Guido Tack:
Single Constant Multiplication for SAT. CPAIOR (1) 2024: 84-98 - [c380]Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. E-Vote-ID 2024: 37-53 - [c379]Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Planning and Execution in Multi-Agent Path Finding: Models and Algorithms. ICAPS 2024: 707-715 - [c378]Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey:
Anytime Approximate Formal Feature Attribution. SAT 2024: 30:1-30:23 - [c377]Mark Carlson, Daniel Harabor, Peter J. Stuckey:
Avoiding Node Re-Expansions Can Break Symmetry Breaking. SOCS 2024: 20-27 - [c376]Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
Solving Facility Location Problems via FastMap and Locality Sensitive Hashing. SOCS 2024: 46-54 - [c375]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding (Extended Abstract). SOCS 2024: 265-266 - [c374]Yue Zhang, Zhe Chen, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Planning and Exection in Multi-Agent Path Finding: Models and Algorithms (Extended Abstract). SOCS 2024: 303-304 - [d16]Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, Peter J. Stuckey:
Artifact for "SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-based, and SAT Techniques". Zenodo, 2024
- [d15]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.3. Zenodo, 2024 [all versions] - [d14]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.4. Zenodo, 2024 [all versions] - [i87]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
RLAs for 2-Seat STV Elections: Revisited. CoRR abs/2402.03707 (2024) - [i86]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections. CoRR abs/2403.15400 (2024) - [i85]Shuai Fu, Tim Dwyer, Peter J. Stuckey, John Grundy:
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets. CoRR abs/2405.12697 (2024) - [i84]Shuai Fu, Tim Dwyer, Peter J. Stuckey:
GeckoGraph: A Visual Language for Polymorphic Types. CoRR abs/2405.12699 (2024) - [i83]Miquel Ramírez, Anubhav Singh, Peter J. Stuckey, Chris Manzie:
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems. CoRR abs/2406.09661 (2024) - [i82]Alexander Ek, Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Improving the Computational Efficiency of Adaptive Audits of IRV Elections. CoRR abs/2407.16465 (2024) - [i81]Zhixi Cai, Cristian Rojas Cardenas, Kevin Leo, Chenyuan Zhang, Kal Backman, Hanbing Li, Boying Li, Mahsa Ghorbanali, Stavya Datta, Lizhen Qu, Julian Gutierrez Santiago, Alexey Ignatiev, Yuan-Fang Li, Mor Vered, Peter J. Stuckey, Maria Garcia de la Banda, Hamid Rezatofighi:
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions. CoRR abs/2409.10196 (2024) - [i80]Andrew Conway, Michelle L. Blom, Alexander Ek, Peter J. Stuckey, Vanessa J. Teague, Damjan Vukcevic:
Idiosyncratic properties of Australian STV election counting. CoRR abs/2409.11627 (2024) - 2023
- [j128]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): 357-367 (2023) - [j127]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: 111730 (2023) - [c373]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: 4123-4131 - [c372]Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi:
Optimal Pathfinding on Weighted Grid Maps. AAAI 2023: 12373-12380 - [c371]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: 254-258 - [c370]Sergey Polyakovskiy, Peter J. Stuckey:
A Constraint Programming Solution to the Guillotine Rectangular Cutting Problem. ICAPS 2023: 352-360 - [c369]Bojie Shen, Zhe Chen, Jiaoyang Li, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Beyond Pairwise Reasoning in Multi-Agent Path Finding. ICAPS 2023: 384-392 - [c368]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey:
From Formal Boosted Tree Explanations to Interpretable Rule Sets. CP 2023: 38:1-38:21 - [c367]Vincent Barbosa Vaz, James Bailey, Christopher Leckie, Peter J. Stuckey:
Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). CP 2023: 42:1-42:10 - [c366]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. E-Vote-ID 2023: 35-51 - [c365]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Risk-Limiting Audits for Condorcet Elections. FC Workshops 2023: 79-94 - [c364]Peter J. Stuckey:
MiniZinc for Formal Methods. FMCAD 2023: 1 - [c363]Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger:
Storage Assignment Using Nested Annealing and Hamming Distances. ICORES 2023: 94-105 - [c362]Johan Oxenstierna, Louis Janse van Rensburg, Peter J. Stuckey, Volker Krüger:
Optimization of the Storage Location Assignment Problem Using Nested Annealing. ICORES (Selected Papers) 2023: 220-244 - [c361]Roberto Amadini, Peter J. Stuckey:
A Regular Matching Constraint for String Variables. IJCAI 2023: 1868-1875 - [c360]Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier:
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. ICPC 2023: 146-156 - [c359]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: 158-173 - [c358]Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey:
Efficient Multi Agent Path Finding with Turn Actions. SOCS 2023: 119-127 - [c357]Shizhe Zhao, Daniel Harabor, Peter J. Stuckey:
Reducing Redundant Work in Jump Point Search. SOCS 2023: 128-136 - [d13]Christoph Bergmeir, Quang Bui, Frits de Nijs, Peter J. Stuckey:
Residential Power and Battery Data. Zenodo, 2023 - [d12]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.0. Zenodo, 2023 [all versions] - [d11]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.1. Zenodo, 2023 [all versions] - [d10]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.2. Zenodo, 2023 [all versions] - [d9]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.3. Zenodo, 2023 [all versions] - [d8]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.4. Zenodo, 2023 [all versions] - [d7]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.5. Zenodo, 2023 [all versions] - [d6]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.7.6. Zenodo, 2023 [all versions] - [d5]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.0. Zenodo, 2023 [all versions] - [d4]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.1. Zenodo, 2023 [all versions] - [d3]Guido Tack, Jip J. Dekker, Kevin Leo, Gleb Belov, Jason Nguyen, Maria Garcia de la Banda, Peter J. Stuckey:
MiniZinc. Version 2.8.2. Zenodo, 2023 [all versions] - [i79]Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier:
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration. CoRR abs/2303.09791 (2023) - [i78]Michelle L. Blom, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Risk-Limiting Audits for Condorcet Elections. CoRR abs/2303.10509 (2023) - [i77]Bojie Shen, Zhe Chen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Tracking Progress in Multi-Agent Path Finding. CoRR abs/2305.08446 (2023) - [i76]Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey:
Scalable Rail Planning and Replanning with Soft Deadlines. CoRR abs/2306.06455 (2023) - [i75]Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva:
Delivering Inflated Explanations. CoRR abs/2306.15272 (2023) - [i74]Shizhe Zhao, Daniel Harabor, Peter J. Stuckey:
Reducing Redundant Work in Jump Point Search. CoRR abs/2306.15928 (2023) - [i73]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey:
On Formal Feature Attribution and Its Approximation. CoRR abs/2307.03380 (2023) - [i72]Anubhav Singh, Miquel Ramírez, Nir Lipovetzky, Peter J. Stuckey:
Lifted Sequential Planning with Lazy Constraint Generation Solvers. CoRR abs/2307.08242 (2023) - [i71]Alexander Ek, Philip B. Stark, Peter J. Stuckey, Damjan Vukcevic:
Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE. CoRR abs/2307.10972 (2023) - [i70]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 abs/2308.06292 (2023) - [i69]Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey:
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding. CoRR abs/2308.11234 (2023) - [i68]Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey:
Anytime Approximate Formal Feature Attribution. CoRR abs/2312.06973 (2023) - 2022
- [j126]Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Fast optimal and bounded suboptimal Euclidean pathfinding. Artif. Intell. 302: 103624 (2022) - [j125]Edward Lam, Pierre Le Bodic, Daniel Harabor, Peter J. Stuckey:
Branch-and-cut-and-price for multi-agent path finding. Comput. Oper. Res. 144: 105809 (2022) - [j124]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: 105870 (2022) - [j123]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: 26:1-26:47 (2022) - [c356]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: 3749-3757 - [c355]Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva:
Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI 2022: 3776-3785 - [c354]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: 9313-9322 - [c353]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: 10256-10265 - [c352]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Multi-Agent Path Finding with Temporal Jump Point Search. ICAPS 2022: 169-173 - [c351]Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Improving Time-Dependent Contraction Hierarchies. ICAPS 2022: 338-347 - [c350]Alexander Ek, Andreas Schutt, Peter J. Stuckey, Guido Tack:
Explaining Propagation for Gini and Spread with Variable Mean. CP 2022: 21:1-21:16 - [c349]Hendrik Bierlee, Graeme Gange, Guido Tack, Jip J. Dekker, Peter J. Stuckey:
Coupling Different Integer Encodings for SAT. CPAIOR 2022: 44-63 - [c348]Ang Li, Peter J. Stuckey, Sven Koenig, T. K. Satish Kumar:
A FastMap-Based Algorithm for Block Modeling. CPAIOR 2022: 232-248 - [c347]Peter J. Stuckey, Guido Tack:
Enumerated Types and Type Extensions for MiniZinc. CPAIOR 2022: 374-389 - [c346]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: 525-540 - [c345]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: 366-380 - [c344]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: 187-198 - [c343]Zhe Chen, Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Multi-Train Path Finding Revisited. SOCS 2022: 38-46 - [c342]Ryan Hechenberger, Peter J. Stuckey, Pierre Le Bodic, Daniel Damir Harabor:
Dual Euclidean Shortest Path Search (Extended Abstract). SOCS 2022: 285-287 - [d2]Guido Tack, Jip J. Dekker, Gleb Belov, Kevin Leo, Jason Nguyen, Peter J. Stuckey:
MiniZinc. Version 2.6.4. Zenodo, 2022 [all versions] - [i67]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 abs/2205.14634 (2022) - [i66]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022) - [i65]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 abs/2206.14605 (2022) - [i64]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 abs/2207.02436 (2022) - [i63]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 abs/2209.03881 (2022) - [i62]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 abs/2212.10723 (2022) - 2021
- [j122]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: 103574 (2021) - [j121]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic:
Learning Optimal Decision Sets and Lists with SAT. J. Artif. Intell. Res. 72: 1251-1279 (2021) - [j120]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): 5816-5823 (2021) - [j119]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): 11:1-11:51 (2021) - [j118]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021) - [c341]Emir Demirovic, Peter J. Stuckey:
Optimal Decision Trees for Nonlinear Metrics. AAAI 2021: 3733-3741 - [c340]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: 3750-3758 - [c339]Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI 2021: 3806-3814 - [c338]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: 12241-12248 - [c337]Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey:
Symmetry Breaking for k-Robust Multi-Agent Path Finding. AAAI 2021: 12267-12274 - [c336]Shuli Hu, Daniel Damir Harabor, Graeme Gange, Peter J. Stuckey, Nathan R. Sturtevant:
Jump Point Search with Temporal Obstacles. ICAPS 2021: 184-191 - [c335]Bojie Shen, Muhammad Aamir Cheema, Daniel Damir Harabor, Peter J. Stuckey:
Contracting and Compressing Shortest Path Databases. ICAPS 2021: 322-330 - [c334]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: 477-485 - [c333]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. AAMAS 2021: 1581-1583 - [c332]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: 64-71 - [c331]Ilankaikone Senthooran, Pierre Le Bodic, Peter J. Stuckey:
Optimising Training for Service Delivery. CP 2021: 48:1-48:15 - [c330]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: 47-62 - [c329]Michelle L. Blom, Philip B. Stark, Peter J. Stuckey, Vanessa Teague, Damjan Vukcevic:
Auditing Hamiltonian Elections. Financial Cryptography Workshops 2021: 235-250 - [c328]Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig:
Anytime Multi-Agent Path Finding via Large Neighborhood Search. IJCAI 2021: 4127-4135 - [c327]Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465 - [c326]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c325]Bishoksan Kafle, Graeme Gange, Peter Schachte