40 citations · 45 across the 4 of their papers we have counts for
1 paper · 1 filter
Joerg Flum, Martin Grohe
Most parameterized complexity classes are defined in terms of a parameterized version of the Boolean satisfiability problem (the so-called weighted satisfiability problem). For exa…