← Search

Foivos Fioravantes

5 accepted papers

2026

Exact Algorithms for Distance to Unique Vertex Cover

AAAI 2026technical

In their AAAI 2024 paper, Horiyama et al. studied the problem of generating graph instances that possess a unique minimum vertex cover under specific conditions. Their approach involved pre-assigning certain vertices to be part of the solution or excluding them from it. Notably, for the Vertex Cover

Cited by 0SourcePDFScholar
2025

Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size

AAAI 2025technical

Imagine we want to split a group of agents into teams in the most efficient way, considering that each agent has their own preferences about their teammates. This scenario is modeled by the extensively studied Coalition Formation problem. Here, we study a version of this problem where each team must…

Cited by 0SourcePDFScholar
2025

Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures

AAAI 2025technical

Consider the scenario where multiple agents have to move in an optimal way through a network, each one towards their ending position, and while avoiding collisions. By optimal, we mean as fast as possible, which is evaluated by a measure known as the makespan of the proposed solution. This is the se…

Cited by 0SourcePDFScholar
2025

Solving Multiagent Path Finding on Highly Centralized Networks

AAAI 2025technical

The Mutliagent Path Finding (MAPF) problem consists of identifying the trajectories that a set of agents should follow inside a given network in order to reach their desired destinations as soon as possible, but without colliding with each other. We aim to minimize the maximum time any agent takes t…

Cited by 0SourcePDFScholar
2024

Exact Algorithms and Lowerbounds for Multiagent Path Finding: Power of Treelike Topology

AAAI 2024technical

In the Multiagent Path Finding (MAPF for short) problem, we focus on efficiently finding non-colliding paths for a set of k agents on a given graph G, where each agent seeks a path from its source vertex to a target. An important measure of the quality of the solution is the length of the proposed s…

Cited by 6SourcePDFScholar