On Algorithmic Meta-Theorems for Solution Discovery: Tractability and Barriers

Nicolas Bousquet, Amer E. Mouawad, Stephanie Maaz +2

Solution discovery asks whether a given (infeasible) starting configuration to a problem can be transformed into a feasible solution using a limited number of transformation steps.…