Search

Search Results

• Object Packing and Scheduling for Sequential 3D Printing: A Linear Arithmetic Model and a CEGAR-Inspired Optimal Solver (Extended Abstract)

  Pavel Surynek, Vojtěch Bubník, Lukáš Matěna, Petr Kubiš

  271-272

  2025-07-20

• RAILGUN: A Unified Convolutional Policy for Multi-Agent Path Finding Across Different Environments and Tasks (Extended Abstract)

  Yimin Tang, Xiao Xiong, Jingyi Xi, Jiaoyang Li, Erdem Bıyık, Sven Koenig

  273-274

  2025-07-20

• LSRP*: Scalable and Anytime Planning for Multi-Agent Path Finding with Asynchronous Actions (Extended Abstract)

  Shuai Zhou, Shizhe Zhao, Zhongqiang Ren

  275-276

  2025-07-20

• The Pathfinding Benchmark (Extended Abstract)

  Forest Agostinelli, Shahaf Shperberg, Ian Turner, Peng Fu, Rojina Panta, Misagh Soltani, Cale Workman, Ritvick Neerattil, Francisco León, Robert Vazquez, Amin Tavakoli, Pierre Baldi

  294-295

  2026-08-14

• Domain-Abstraction Heuristics for Simple Numeric Planning

  Markus Fritzsche, Mikhail Gruntov, Alexander Shleyfman, Daniel Gnad

  224-228

  2026-08-14

• Bucket Aggregation in Bucket-Based Priority Queues for Heuristic Search

  Ryan D. Goodwin, Eric A. Hansen, Garrett M. Fereday

  229-233

  2026-08-14

• Petri Net Induced Heuristic Search for Resource Constrained Scheduling

  Ido Lublin, Dor Atzmon, Izack Cohen

  234-239

  2026-08-14

• Formula Neural Networks as Action Policies in Safety-Critical Planning: An Empirical Evaluation

  Victor Scherer Putrich, Tim Nico Bauerschmidt, Chaahat Jain, Songtuan Lin, Joerg Hoffmann, Isabel Valera

  240-245

  2026-08-14

• Embodying Multi-Hand Manipulation Policies by Searching the Assignment and Null Spaces

  Yorai Shaoul, Jiaoyang Li, Maxim Likhachev

  246-250

  2026-08-14

• Front-to-Attractors: Modifying the Front-to-Front Heuristic in Bidirectional Search

  Alvin Zou, Muhammad Suhail Saleem, Maxim Likhachev

  251-255

  2026-08-14

• On the Use of AI Planning for Water Management of the Red River Basin in Vietnam

  Diego Aineto, Nicola Bettinzoli, Ngo Le An, Enrico Scala, Ivan Serina

  257-265

  2026-08-14

• Tree of Thoughts as a Classical Heuristic Search Problem: Formal Foundations and Design Patterns

  Guni Sharon

  266-275

  2026-08-14

• Evaluation of Baseline Methods for IDD-based SSD External Memory Search

  Yuki Suzuki, Alex Fukunaga

  276-284

  2026-08-14

• Understanding Reward Shaping in Planning: A Theoretical and Empirical Analysis

  Oleksii Shuhailo, Mohsen Ghaffari, Karel Chvalovský, Tomáš Pevný

  286-290

  2026-08-14

• COL-Trees: Efficient Hierarchical Object Search in Road Networks (Extended Abstract)

  Tenindra Abeywickrama, Muhammad Aamir Cheema, Sabine Storandt

  292-293

  2026-08-14

• Parallelizing Classical Planning: Critical Path Heuristics on the GPU

  Markus Fritzsche, David Speck, Daniel Gnad, Simon Ståhlberg

  219-223

  2026-08-14

• Adaptive Width Best-First Search: Dynamic Frontier Expansion for GNN-based Heuristics (Extended Abstract)

  Valerio Borelli, Alfonso Emilio Gerevini, Enrico Scala, Ivan Serina

  296-297

  2026-08-14

• Scalable Robust Multi-Agent Path Finding (Student Abstract)

  Amit Bouzaglo

  298-299

  2026-08-14

• Situated Planning with Soft Goals (Extended Abstract)

  Andrew Coles, Erez Karpas, Solomon Eyal Shimony, Shahaf Shperberg, Wheeler Ruml

  300-301

  2026-08-14

• Multi-Agent Path Finding with Unassigned Agents (MAPFUA) (Extended Abstract)

  Ariel Felner, Roni Stern

  302-303

  2026-08-14

• LaCAM* Variants for Minimizing Makespan in Multi-Agent Path Finding (Extended Abstract)

  Omer Idgar, Dor Atzmon, Ariel Felner

  304-305

  2026-08-14

• Verification and Automated Construction of Social Laws for MAPF (Student Abstract)

  Jakub Mestek

  306-307

  2026-08-14

• MOSAIC: Skill-Centric Manipulation Planning with Physics Simulation (Extended Abstract)

  Itamar Mishani, Yorai Shaoul, Maxim Likhachev

  308-309

  2026-08-14

• Parallel Heuristic Search as Inference for Actor-Critic Reinforcement Learning Models (Extended Abstract)

  Itamar Mishani, Hanlan Yang, Luca Pivetti, Zachary Kingston, Maxim Likhachev

  310-311

  2026-08-14

• Policy-Guided Search on Tree-of-Thoughts for Efficient Problem Solving with Bounded Language Model Queries (Extended Abstract)

  Sumedh Pendurkar, Guni Sharon

  312-313

  2026-08-14