Parameterized Complexity of Elimination Distance to First-Order Logic Properties

Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos. Parameterized Complexity of Elimination Distance to First-Order Logic Properties. ACM Trans. Comput. Log., 23(3), 2022. [doi]

Abstract

Abstract is missing.