1 citations · 1 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Structure-Guided Automated Reasoning
Max Bannach, Markus Hecher
Algorithmic meta-theorems state that problems definable in a fixed logic can be solved efficiently on structures with certain properties. An example is Courcelle's Theorem, which s…
cs.LO2023
Existential Second-Order Logic Over Graphs: Parameterized Complexity
Max Bannach, Florian Chudigiewitsch, Till Tantau
By Fagin's Theorem, NP contains precisely those problems that can be described by formulas starting with an existential second-order quantifier, followed by only first-order quanti…