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…