2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Gábor Kun, Jaroslav Nešetřil
Fagin defined the class NP by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-…