Search

Search Results

• Real-time Cost-algebraic Heuristic Search

  Devin Wild Thomas, Wheeler Ruml

  162-170

  2025-07-20

• Bi-Objective Search for the Traveling Salesman Problem with Time Windows and Vacant Penalties

  Shizhe Zhao, Yancheng Wu, Zhongqiang Ren

  171-179

  2025-07-20

• Using Action-Policy Testing in RL to Reduce the Number of Bugs

  Hasan Ferit Eniser, Songtuan Lin, Nicola Müller, Anastasia Isychev, Valentin Wüstholz, Isabel Valera, Jörg Hoffmann, Maria Christakis

  181-185

  2025-07-20

• On Path Selection for Reduction-Based Solving of Multi-Agent Pathfinding Using Graph Pruning

  Matej Husár, Jiří Švancara, Roman Barták

  186-190

  2025-07-20

• Guiding the Search for the Euclidean Shortest Path Problem

  Daniel Koch, Stefan Funke

  191-195

  2025-07-20

• Real-Time LaCAM for Real-Time MAPF

  Runzhe Liang, Rishi Veerapaneni, Daniel Harabor, Jiaoyang Li, Maxim Likhachev

  196-200

  2025-07-20

• Decoupling Generation and Evaluation for Parallel Greedy Best-First Search

  Takumi Shimoda, Alex Fukunaga

  201-205

  2025-07-20

• Augmenting Exploration with Locally Greedy Probes

  Dawson Tomasz, Richard Valenzano

  206-210

  2025-07-20

• Reevaluation of Large Neighborhood Search for MAPF: Findings and Opportunities

  Jiaqi Tan, Yudong Luo, Jiaoyang Li, Hang Ma

  212-220

  2025-07-20

• Multi-armed Bandit Algorithms for the Boolean Satisfiability Problem: A Survey

  Zhihui Xie, Xu Liu, Shuai Li

  221-229

  2025-07-20

• Should Multi-Agent Path Finding Algorithms Coordinate Target Arrival Times?

  Jonathan Morag, Noy Gabay, Daniel Koyfman, Roni Stern

  231-235

  2025-07-20

• Extracting Problem Structure with LLMs for Optimized SAT Local Search

  André Schidler, Stefan Szeider

  236-240

  2025-07-20

• Position Paper: On the Impact of Direction-Selection in BAE*

  Shahaf Shperberg, Lior Siag, Nathan Sturtevant, Ariel Felner

  241-245

  2025-07-20

• Surrogate-Assisted Monte-Carlo Tree Search in Facility Location and Beyond (Extended Abstract)

  Saeid Amiri, Danial Dervovic, Parisa Zehtabi, Michael Cashmore

  247-248

  2025-07-20

• BLAST: Bit-Blasting Numbers for Classical Planning (Extended Abstract)

  Luigi Bonassi, Francesco Percassi, Enrico Scala

  249-250

  2025-07-20

• Learning Heuristic Functions with Graph Neural Networks for Numeric Planning (Extended Abstract)

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

  251-252

  2025-07-20

• Exploring the Trade-off Between Flexible and Deployable Models for PDDL+ Urban Traffic Control (Extended Abstract)

  Sandra Castellanos-Paez, Francesco Percassi, Mauro Vallati

  253-254

  2025-07-20

• Critical Section Macros - New Results (Extended Abstract)

  Lukáš Chrpa, Mauro Vallati

  255-256

  2025-07-20

• Multi-Agent Path Finding for Schedule Constrained Automation (Extended Abstract)

  Kareem Eissa, Rayal Prasad, Ankur Kapoor

  257-258

  2025-07-20

• Suboptimal Search with Dynamic Distribution of Suboptimality (Extended Abstract)

  Mohammadreza Hami, Nathan Sturtevant

  259-260

  2025-07-20

• Hierarchical Seating Allocation (Extended Abstract)

  Anton Ipsen, Michael Cashmore, Parisa Zehtabi, Nicolas Marchesotti, Kirsty Fielding, Daniele Magazzeni, Manuela Veloso

  261-262

  2025-07-20

• You May Split but You Might Work It Out Later: First Steps Toward Merging Nodes in MAPF (Extended Abstract)

  Grigorios Mouratidis, Bernhard Nebel, Sven Koenig

  263-264

  2025-07-20

• Bidirectional Bounded-Suboptimal Heuristic Search with Consistent Heuristics (Extended Abstract)

  Shahaf Shperberg, Natalie Morad, Lior Siag, Ariel Felner, Dor Atzmon

  265-266

  2025-07-20

• Bidirectional Heuristic Search in Longest Path Problems (Extended Abstract)

  Tzur Shubi, Solomon Eyal Shimony, Ariel Felner, Shahaf Shperberg

  267-268

  2025-07-20

• Uncertainty in Real-World Vehicle Routing (Extended Abstract)

  Václav Sobotka, Hana Rudová

  269-270

  2025-07-20