Peter J. Stuckey
40 papers · 2013–2025 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (40) π Conference Polyglot Β· Silver π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver π£ Hot Topic Early Bird
π
Conference Loyalist
(23)
π€
Dynamic Duo
(10)
π§¬
Topic Evolution
π
Keyword Champion
π¬
Deep Specialist
(12)
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
β
The Questioner
β‘
Prolific Year Β· Productive
π
Century Club Β· Bronze
π
Renaissance Researcher
(7)
ποΈ
Keyword Collector
(154)
Top co-authors
Research topics
Machine Learning
(20)
Artificial Intelligence
(16)
Mathematics & Optimization
(16)
Core AI
(16)
Optimization
(16)
Optimization & Theory
(13)
Computer Science
(11)
Foundations
(9)
Core Methods
(8)
Robotics
(4)
Applications
(3)
Learning Types
(3)
Computer Vision
(2)
Knowledge & Reasoning
(2)
Application Areas
(2)
Keywords
multi-agent path finding
(10)
combinatorial optimization
(8)
explainable ai
(5)
formal explanation
(4)
conflict-based search
(4)
path planning
(4)
predict and optimize
(4)
decision tree
(3)
symmetry breaking
(3)
motion planning
(2)
constraint programming
(2)
anytime algorithm
(2)
dynamic programming
(2)
tree ensemble
(2)
discrete optimization
(2)
coordinate descent
(2)
heuristic search
(2)
linear programming
(2)
online optimization
(2)
collision avoidance
(2)
Papers
Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums Through Simulated Annealing (Student Abstract)
AAAI 2025
Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities
AAAI 2025
Dynamic Replanning for Improved Public Transport Routing
IJCAI 2025
Most General Explanations of Tree Ensembles
IJCAI 2025
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
ICCV 2025
Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding
AAAI 2025
Delivering Inflated Explanations
AAAI 2024
Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs
NeurIPS 2024
Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
AAAI 2024
A Regular Matching Constraint for String Variables
IJCAI 2023
Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations
AAAI 2023
Optimal Pathfinding on Weighted Grid Maps
AAAI 2023
A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems
AAAI 2022
Flex Distribution for Bounded-Suboptimal Multi-Agent Path Finding
AAAI 2022
MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search
AAAI 2022
MurTree: Optimal Decision Trees via Dynamic Programming and Search
JMLR 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles
AAAI 2022
Anytime Multi-Agent Path Finding via Large Neighborhood Search
IJCAI 2021
A Scalable Two Stage Approach to Computing Optimal Decision Sets
AAAI 2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning
AAAI 2021
f-Aware Conflict Prioritization & Improved Heuristics For Conflict-Based Search
AAAI 2021
Optimal Decision Trees for Nonlinear Metrics
AAAI 2021
Reasoning-Based Learning of Interpretable ML Models
IJCAI 2021
Symmetry Breaking for k-Robust Multi-Agent Path Finding
AAAI 2021
Did That Lost Ballot Box Cost Me a Seat? Computing Manipulations of STV Elections
AAAI 2020
Dynamic Programming for Predict+Optimise
AAAI 2020
Euclidean Pathfinding with Compressed Path Databases
IJCAI 2020
Iterative-Deepening Conflict-Based Search
IJCAI 2020
Modelling and Solving Online Optimisation Problems
AAAI 2020
Modelling Diversity of Solutions
AAAI 2020
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems
AAAI 2020
Branch-and-Cut-and-Price for Multi-Agent Pathfinding
IJCAI 2019
Path Planning with CPD Heuristics
IJCAI 2019
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions
IJCAI 2019
Regarding Jump Point Search and Subgoal Graphs
IJCAI 2019
Searching with Consistent Prioritization for Multi-Agent Path Finding
AAAI 2019
Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding
AAAI 2019
Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping
IJCAI 2018
Sequencing Operator Counts
IJCAI 2016
Breaking Symmetries in Graph Representation
IJCAI 2013