40 citations · 54 across the 13 of their papers we have counts for
1 paper · 2 filters
Paolo Liberatore
We study the problem of deciding whether some PSPACE-complete problems have models of bounded size. Contrary to problems in NP, models of PSPACE-complete problems may be exponentia…