wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

qbf_sat (69B)

      1 # QBF SAT
      2 
      3 [SAT] on [QBF]
      4 
      5 It is [PSPACE_complete]
      6 
      7 Up: [QBF], [SAT]