6 citations · 11 across the 4 of their papers we have counts for
1 paper · 1 filter
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…