29 citations · 89 across the 22 of their papers we have counts for
1 paper · 2 filters
Alexander Pilz
In the Planar 3-SAT problem, we are given a 3-SAT formula together with its incidence graph, which is planar, and are asked whether this formula is satisfiable. Since Lichtenstein'…