Peter J. Stuckey

1. MUSTANG: A multiple structural alignment algorithm
   2006/05/30 by Arun S. Konagurthu, James C. Whisstock, Peter J. Stuckey +1 · 5 citations
   Biochemistry, Genetics and Molecular Biology · Materials Science · #Genomics and Phylogenetic Studies #Enzyme Structure and Function #Protein Structure and Dynamics
2. Pairwise Symmetry Reasoning for Multi-Agent Path Finding Search
   2021/03/12 by Jiaoyang Li, Daniel Harabor, Li, Jiaoyang +5 · 6 citations
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Robotic Path Planning Algorithms #Robotics (cs.RO)
3. Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
   2023/08/22 by Zhe Chen, Chen, Zhe, Daniel Harabor +5 · 8 citations
   Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Autonomous Vehicle Technology and Safety #Evacuation and Crowd Dynamics #FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Robotic Path Planning Algorithms #Robotics (cs.RO)
4. Eliminating The Impossible, Whatever Remains Must Be True
   2022/06/20 by Jinqiang Yu, Alexey Ignatiev, Yu, Jinqiang +7 · 5 citations
   Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Scientific Computing and Data Management
5. Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding
   2024/11/25 by Hongzhi Zang, Yulun Zhang, Zang, Hongzhi +11 · 4 citations
   Computer Science · Engineering · #Robotic Path Planning Algorithms #Guidance and Control Systems #Artificial Intelligence in Games
6. Computing Optimal Decision Sets with SAT
   2020/07/29 by Jinqiang Yu, Yu, Jinqiang, Alexey Ignatiev +5 · 1 citation
   Computer Science · #Explainable Artificial Intelligence (XAI) #Machine Learning and Data Classification #Bayesian Modeling and Causal Inference
7. Branch-and-cut-and-price for the Electric Vehicle Routing Problem with Time Windows, Piecewise-Linear Recharging and Capacitated Recharging Stations
   2022/09/01 by Edward Lam, Guy Desaulniers, Peter J. Stuckey · 1 citation
8. Tracking Progress in Multi-Agent Path Finding
   2023/05/15 by Bojie Shen, Zhe Chen, Shen, Bojie +7 · 1 citation
   Computer Science · Agricultural and Biological Sciences · #Multimodal Machine Learning Applications #Insect Pheromone Research and Control #Advanced Image and Video Retrieval Techniques
9. NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
   2024/09/16 by Zhixi Cai, Cai, Zhixi, Kevin Leo +29 · 2 citations
   Computer Science · #Cognitive Computing and Networks #AI-based Problem Solving and Planning
10. Scalable Rail Planning and Replanning with Soft Deadlines
    2023/06/10 by Zhe Chen, Chen, Zhe, Jiaoyang Li +5 · 1 citation
    Computer Science · Social Sciences · #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Speech and dialogue systems #Transportation Planning and Optimization
11. On Formal Feature Attribution and Its Approximation
    2023/07/07 by Jinqiang Yu, Yu, Jinqiang, Alexey Ignatiev +3 · 1 citation
    Computer Science · #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #Rough Sets and Fuzzy Logic
12. Formal Explanations for Neuro-Symbolic AI
    2024/10/18 by Sushmita Paul, Paul, Sushmita, Jinqiang Yu +7 · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms
13. Global Difference Constraint Propagation for Constraint Programming
    2026/07/22 by Lucas Kletzander, Jip J. Dekker, Andreas Schutt +1
    #cs.AI
14. Advances in STV Margin Computation
    2026/07/23 by Michelle Blom, Alexander Ek, Peter J. Stuckey +2
    #cs.GT #cs.CR #cs.CY