12 citations · 21 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.DM2026
FO Value Discovery and Partial Vertex Cover Discovery
Enna Gerhard, Stephanie Maaz, Pascale Schott +2
We study solution discovery in the token-sliding model from a logical and cost-value optimization perspective. In solution discovery, we are given a graph, an initial placement of…
cs.DM2026
Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery
Hanno von Bergen, Larissa Fastenau, Enna Gerhard +8
We study solution discovery, where the goal is to obtain a feasible solution to a problem from an initial configuration by a bounded sequence of local moves. In many applications,…