PPaperPicks

Peter J. Stuckey

18 papers at tracked venues · 8 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

CP ×6AAAI ×5FC ×2IJCAI ×2ICCV ×1NeurIPS ×1PLDI ×1

Frequent coauthors

Daniel Harabor
×4
Alexey Ignatiev
×4
Zhe Chen
×3
Tias Guns
×2
Hamid Rezatofighi
×2
Yacine Izza
×2
João Marques-Silva
×2
Maria Garcia de la Banda
×2
Jiaoyang Li
×2
Jip J. Dekker
×2
Allen Z. Zhong
×2
Jimmy H. M. Lee
×2

Papers

  1. Automatic Relaxation and Multi-Armed Bandit Learning for Large Neighbourhood Search
    CP 2026 ·
    Frej Knutar Lewander
    ,
    Pierre Flener
    ,
    Justin Pearson
    , Peter J. Stuckey
  2. Table Constraints for Integer Programming
    CP 2026 ·
    Hendrik Bierlee
    ,
    Wout Piessens
    ,
    Tias Guns
    , Peter J. Stuckey
  3. Towards Step-Wise Explanations of Large Search Trees (Short Paper)
    CP 2026 ·
    Ignace Bleukx
    , Peter J. Stuckey,
    Tias Guns
  4. Acoustic-to-Hyper-Spectral: Hyper-Spectral Image Construction from Frequency Spectrums Through Simulated Annealing (Student Abstract)
    AAAI 2025 ·
    Ruth-Emely Pierau
    ,
    Alaster Meehan
    ,
    Hamid Rezatofighi
    , Peter J. Stuckey
  5. Concurrent Planning and Execution in Lifelong Multi-Agent Path Finding with Delay Probabilities
    AAAI 2025 ·
    Yue Zhang
    ,
    Zhe Chen
    ,
    Daniel Harabor
    ,
    Pierre Le Bodic
    , Peter J. Stuckey
  6. Dynamic Replanning for Improved Public Transport Routing
    IJCAI 2025 ·
    Abdallah Abu-Aisha
    ,
    Bojie Shen
    ,
    Daniel Damir Harabor
    , Peter J. Stuckey,
    Mark Wallace
  7. Most General Explanations of Tree Ensembles
    IJCAI 2025 ·
    Yacine Izza
    ,
    Alexey Ignatiev
    ,
    Sasha Rubin
    ,
    João Marques-Silva
    , Peter J. Stuckey
  8. Naver: a Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
    ICCV 2025 ·
    Zhixi Cai
    ,
    Fucai Ke
    ,
    Simindokht Jahangard
    ,
    Maria Garcia de la Banda
    ,
    Reza Haffari
    , Peter J. Stuckey,
    Hamid Rezatofighi
  9. Online Guidance Graph Optimization for Lifelong Multi-Agent Path Finding
    AAAI 2025 ·
    Hongzhi Zang
    ,
    Yulun Zhang
    ,
    He Jiang
    ,
    Zhe Chen
    ,
    Daniel Harabor
    , Peter J. Stuckey,
    Jiaoyang Li
  10. Towards Modern and Modular SAT for LCG (Short Paper)
    CP 2025 ·
    Jip J. Dekker
    ,
    Alexey Ignatiev
    , Peter J. Stuckey,
    Allen Z. Zhong
  11. Transition Dominance in Domain-Independent Dynamic Programming
    CP 2025 ·
    J. Christopher Beck
    ,
    Ryo Kuroiwa
    ,
    Jimmy H. M. Lee
    , Peter J. Stuckey,
    Allen Z. Zhong
  12. Unit Types for MiniZinc
    CP 2025 ·
    Jip J. Dekker
    ,
    Jason Nguyen
    , Peter J. Stuckey,
    Guido Tack
  13. Delivering Inflated Explanations
    AAAI 2024 ·
    Yacine Izza
    ,
    Alexey Ignatiev
    , Peter J. Stuckey,
    João Marques-Silva
  14. Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections
    FC 2024 ·
    Alexander Ek
    ,
    Philip B. Stark
    , Peter J. Stuckey,
    Damjan Vukcevic
  15. Multi-Stage Predict+Optimize for (Mixed Integer) Linear Programs
    NeurIPS 2024 ·
    Xinyi Hu
    ,
    Jasper C. H. Lee
    ,
    Jimmy H. M. Lee
    , Peter J. Stuckey
  16. RLAs for 2-Seat STV Elections: Revisited
    FC 2024 ·
    Michelle L. Blom
    , Peter J. Stuckey,
    Vanessa Teague
    ,
    Damjan Vukcevic
  17. SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
    PLDI 2024 ·
    Elvira Albert
    ,
    Maria Garcia de la Banda
    ,
    Alejandro Hernández-Cerezo
    ,
    Alexey Ignatiev
    ,
    Albert Rubio
    , Peter J. Stuckey
  18. Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
    AAAI 2024 ·
    Zhe Chen
    ,
    Daniel Harabor
    ,
    Jiaoyang Li
    , Peter J. Stuckey