Stuckey, Peter J.

56 publications

AAAI 2025 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

AAAI 2025 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

IJCAI 2025 Dynamic Replanning for Improved Public Transport Routing Abdallah Abu-Aisha, Bojie Shen, Daniel Damir Harabor, Peter J. Stuckey, Mark Wallace

IJCAI 2025 Most General Explanations of Tree Ensembles Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey

ICCV 2025 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

AAAI 2025 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

AAAI 2024 Delivering Inflated Explanations Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva

NeurIPS 2024 Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs Xinyi Hu, Jasper C.H. Lee, Jimmy H.M. Lee, Peter J. Stuckey

AAAI 2024 Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding Zhe Chen, Daniel Harabor, Jiaoyang Li, Peter J. Stuckey

IJCAI 2023 A Regular Matching Constraint for String Variables Roberto Amadini, Peter J. Stuckey

AAAI 2023 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, João Marques-Silva

AAAI 2023 Optimal Pathfinding on Weighted Grid Maps Mark Carlson, Sajjad K. Moghadam, Daniel Damir Harabor, Peter J. Stuckey, Morteza Ebrahimi

AAAI 2022 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

AAAI 2022 Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding Shao-Hung Chan, Jiaoyang Li, Graeme Gange, Daniel Harabor, Peter J. Stuckey, Sven Koenig

AAAI 2022 MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig

JMLR 2022 MurTree: Optimal Decision Trees via Dynamic Programming and Search Emir Demirović, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey

AAAI 2022 Using MaxSAT for Efficient Explanations of Tree Ensembles Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva

AAAI 2021 A Scalable Two Stage Approach to Computing Optimal Decision Sets Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva

IJCAI 2021 Anytime Multi-Agent Path Finding via Large Neighborhood Search Jiaoyang Li, Zhe Chen, Daniel Harabor, Peter J. Stuckey, Sven Koenig

AAAI 2021 Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning Jo Devriendt, Stephan Gocht, Emir Demirovic, Jakob Nordström, Peter J. Stuckey

AAAI 2021 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

JAIR 2021 Learning Optimal Decision Sets and Lists with SAT Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Pierre Le Bodic

AAAI 2021 Optimal Decision Trees for Nonlinear Metrics Emir Demirovic, Peter J. Stuckey

IJCAI 2021 Reasoning-Based Learning of Interpretable ML Models Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey

AAAI 2021 Symmetry Breaking for K-Robust Multi-Agent Path Finding Zhe Chen, Daniel Damir Harabor, Jiaoyang Li, Peter J. Stuckey

AAAI 2020 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

AAAI 2020 Dynamic Programming for Predict+Optimise Emir Demirovic, Peter J. Stuckey, Tias Guns, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Jeffrey Chan

IJCAI 2020 Euclidean Pathfinding with Compressed Path Databases Bojie Shen, Muhammad Aamir Cheema, Daniel Harabor, Peter J. Stuckey

AAAI 2020 Explaining Propagators for String Edit Distance Constraints Felix Winter, Nysret Musliu, Peter J. Stuckey

IJCAI 2020 Iterative-Deepening Conflict-Based Search Eli Boyarski, Ariel Felner, Daniel Harabor, Peter J. Stuckey, Liron Cohen, Jiaoyang Li, Sven Koenig

AAAI 2020 Modelling Diversity of Solutions Linnea Ingmar, Maria Garcia de la Banda, Peter J. Stuckey, Guido Tack

AAAI 2020 Modelling and Solving Online Optimisation Problems Alexander Ek, Maria Garcia de la Banda, Andreas Schutt, Peter J. Stuckey, Guido Tack

AAAI 2020 Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems Jayanta Mandi, Emir Demirovic, Peter J. Stuckey, Tias Guns

AAAI 2020 Teaching Constraint Programming Using Fable-Based Learning Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey

IJCAI 2019 Branch-and-Cut-and-Price for Multi-Agent Pathfinding Edward Lam, Pierre Le Bodic, Daniel Damir Harabor, Peter J. Stuckey

IJCAI 2019 Path Planning with CPD Heuristics Massimo Bono, Alfonso Emilio Gerevini, Daniel Damir Harabor, Peter J. Stuckey

IJCAI 2019 Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions Emir Demirovic, Peter J. Stuckey, James Bailey, Jeffrey Chan, Christopher Leckie, Kotagiri Ramamohanarao, Tias Guns

IJCAI 2019 Regarding Jump Point Search and Subgoal Graphs Daniel Damir Harabor, Tansel Uras, Peter J. Stuckey, Sven Koenig

AAAI 2019 Searching with Consistent Prioritization for Multi-Agent Path Finding Hang Ma, Daniel Harabor, Peter J. Stuckey, Jiaoyang Li, Sven Koenig

AAAI 2019 Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding Jiaoyang Li, Daniel Harabor, Peter J. Stuckey, Hang Ma, Sven Koenig

AAAI 2018 Lagrangian Constrained Community Detection Mohadeseh Ganji, James Bailey, Peter J. Stuckey

IJCAI 2018 Machine Learning and Constraint Programming for Relational-to-Ontology Schema Mapping Diego de Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey

ECML-PKDD 2018 Semi-Supervised Blockmodelling with Pairwise Guidance Mohadeseh Ganji, Jeffrey Chan, Peter J. Stuckey, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Laurence A. F. Park

AAAI 2018 Sweep-Based Propagation for String Constraint Solving Roberto Amadini, Graeme Gange, Peter J. Stuckey

AAAI 2017 Automatic Logic-Based Benders Decomposition with MiniZinc Toby O. Davies, Graeme Gange, Peter J. Stuckey

IJCAI 2016 Sequencing Operator Counts Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky

AAAI 2016 Steiner Tree Problems with Side Constraints Using Constraint Programming Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey

ECML-PKDD 2015 Generalized Modularity for Community Detection Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey, Peter J. Stuckey

JAIR 2015 Lazy Model Expansion: Interleaving Grounding with Search Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey

JAIR 2013 Boolean Equi-Propagation for Concise and Efficient SAT Encodings of Combinatorial Problems Amit Metodi, Michael Codish, Peter J. Stuckey

IJCAI 2011 Symmetries and Lazy Clause Generation Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears

JAIR 2010 Fast Set Bounds Propagation Using a BDD-SAT Hybrid Graeme Gange, Peter J. Stuckey, Vitaly Lagoon

JAIR 2005 Solving Set Constraint Satisfaction Problems Using ROBDDs Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey

IJCAI 2003 Efficient Representation of Adhoc Constraints Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey

IJCAI 2003 Propagation Redundancy for Permutation Channels Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey

AAAI 2002 Reducing Search Space in Local Search for Constraint Satisfaction Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey