QQBF

1000Znam
451satisfiability
449problem
4323SAT
425Halting
405Kobon
404Zarankiewicz
394LQQR
386residuosity
385brachistochrone
        
previous:QQbert
next:QQbit
random:Lujza


More distant neighbors

isospectral SUBSET PQundL PSPACE Yannakakis PTAS undecidable Satisfiability NP unknotting satisfiable decidable EXPSPACE solved solvable LQQG undecidability Dinostratus unsolvable pseudoperfect solving tractable hydroxybutyryl solves underplays conjunctive knapsack anisohedral solution Tachinidae Mangalkot QQuadratic subproblems

Back