Category: Informatics
Home Research
Edward Lam, Peter J. Stuckey
Low-Level Search on Time Intervals in Branch-and-Cut-and-Price for Multi-Agent Path Finding
Informatics

Multi-agent path finding is the problem of navigating a set of agents from their starting locations to their target locations while avoiding collision...

Review:

This paper addresses the challenging problem of Multi-Agent Path Finding (MAPF), a crucial area in robotics and AI where multiple agents must navigate...

View Full Research
Daniel Koyfman, Dor Atzmon, Shahaf Shperberg, Ariel Felner
Minimizing Fuel in Multi-Agent Pathfinding
Informatics

The multi-agent pathfinding problem (MAPF) of finding conflict-free paths for multiple agents has attracted a large number of researchers in the past....

Review:

The paper "Minimizing Fuel in Multi-Agent Pathfinding" presents a compelling and timely contribution to the Multi-Agent Pathfinding (MAPF) domain by s...

View Full Research
Weimin Huang, Natalie M. Isenberg, Ján Drgoňa, Draguna L Vrabie, Bistra Dilkina
Efficient Primal Heuristics for Mixed Binary Quadratic Programs Using Suboptimal Rounding Guidance
Informatics

Mixed Binary Quadratic Programs (MBQPs) are a class of NP-hard problems that arise in a wide range of applications, including finance, machine learnin...

Review:

This paper addresses the challenging problem of solving Mixed Binary Quadratic Programs (MBQPs), which are known to be NP-hard and arise in diverse hi...

View Full Research
Yaron Halle, Ariel Felner, Sven Koenig, Oren Salzman
A Preprocessing Framework for Efficient Approximate Bi-Objective Shortest-Path Computation in the Presence of Correlated Objectives
Informatics

The bi-objective shortest-path (BOSP) problem seeks to find paths between start and target vertices of a graph while optimizing two conflicting object...

Review:

The paper presents a valuable contribution to the field of multi-objective optimization by addressing the bi-objective shortest-path (BOSP) problem, s...

View Full Research
Garrett M. Fereday, Eric A. Hansen
A Bucket-Based Priority Queue for Bounded-Suboptimal and Anytime A* Search
Informatics

We introduce a priority queue data structure, called a bucket heap, which generalizes the bucket queue commonly used to accelerate A* search for short...

Review:

The paper introduces a novel data structure, the "bucket heap," designed to significantly enhance the performance of A* search algorithms. Positioned...

View Full Research
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
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