Shao-Hung Chan, Thomy Phan, Jiaoyang Li, Sven Koenig

New Mechanisms in Flex Distribution for Bounded Suboptimal Multi-Agent Path Finding

Informatics

Multi-Agent Path Finding (MAPF) is the problem of finding a set of collision-free paths, one for each agent in a shared environment. Its objective is...

Review:

This paper presents a significant advancement in the efficiency of Explicit Estimation Conflict-Based Search (EECBS), a leading algorithm for bounded-...

View Full Research

Mark Carlson, Daniel Harabor, Peter J. Stuckey

Sub-Microsecond Grid Path Planning, at What Cost?

Informatics

Tree Cache is a lightweight pre-processing approach to grid path finding which works by generating a shortest path tree: from a root cell to all cells...

Review:

This paper presents a significant advancement in grid path planning, directly addressing the common trade-off between search speed and solution qualit...

View Full Research

Michael Barley, Natasha de Kriek, Santiago Franco, Angel Garcia-Olaya, Tim Hartill, Christopher Triggs, Henry Zwart, Vidal Alcázar, Patricia Riddle

A Problem with the Current Methodology for Comparing Search Algorithms and a Proposed Solution

Informatics

This paper explores how incompletely described tie-break policies can invalidate the experimental results reported in papers on optimal bidirectional...

Review:

This paper addresses a crucial methodological issue within the experimental comparison of optimal bidirectional heuristic search (BiHS) algorithms. Th...

View Full Research

Shahar Bardugo, Daniel Koyfman, Dor Atzmon

Finding All Optimal Solutions in Multi-Agent Path Finding

Robotics

The Multi-Agent Path Finding problem (MAPF) aims to find conflict-free paths for a group of agents, leading each agent to its respective goal. MAPF is...

Review:

The paper addresses the Multi-Agent Path Finding (MAPF) problem, a critical challenge in robotics and autonomous systems where conflict-free paths mus...

View Full Research

Ernst Althaus, Markus Blumenstock, Nick Rassau, Felix Martin Schuhknecht, Anton Quentin Zimdars

Sorting Colored Balls in Colored Tubes

Informatics

We consider a game that was played in a German television show that is similar to the sorting balls puzzle. In it, we are assumed to move one colored...

Review:

This paper introduces a formal analysis of a "colored balls in colored tubes" puzzle, drawing inspiration from a German television game show. The prob...

View Full Research

Forest Agostinelli

A Conflict-Driven Approach for Reaching Goals Specified with Negation as Failure

Informatics

In the context of pathfinding, first-order logic allows for the expressive specification of goals. Using negation as failure, one can specify what mus...

Review:

This paper introduces a novel approach, Conflict-Driven Goal Reaching (CDGR), designed to address the challenges of integrating negation as failure (N...

View Full Research

Maxim Likhachev, Hana Rudová, Enrico Scala

Frontmatter

Informatics

This frontmatter introduces the proceedings of the Eighteenth International Symposium on Combinatorial Search (SoCS 2025), held from August 12–15, 202...

Review:

This submission, titled "Frontmatter," serves as the essential introductory material for the proceedings of the Eighteenth International Symposium on...

View Full Research

Mantik Hasan, Kasim Yahiji

PENGAMBILAN KEPUTUSAN DAN PENGELOLAAN ORGANISASI DALAM PERSPEKTIF AL-QUR’AN DAN HADITS

Management

Pengambilan keputusan merupakan aspek krusial bagi individu dan organisasi, dengan tingkat kesulitan yang bervariasi tergantung pada jumlah alternatif...

Review:

This paper proposes a timely and relevant exploration into the critical domains of decision-making and organizational management, viewed through the u...

View Full Research

Profili

Management

Review:

As an expert reviewer, it is imperative to base an evaluation on the complete information provided. In this instance, the abstract for the submission...

View Full Research

Summaries

Communication

Review:

This submission, titled "Summaries," is presented without an abstract, which immediately renders it incomplete and impossible to evaluate within the s...

View Full Research