Znam

999problem
515Kobon
491pseudoperfect
487brachistochrone
486satisfiability
460LQQR
454unknotting
452QQBF
451Dinostratus
4483SAT
        
previous:Znak
next:znam
random:Himst


More distant neighbors

residuosity Zarankiewicz unsolvability Halting Satisfiability knapsack solution Ptolemic Matiyasevich Drumare multiobjective undecidable Diophantine Entscheidungsproblem EXPSPACE semidecidable Mangalkot teabag PTAS solving solved funarg Vorobyev subproblems QQuadratic solves LQQG SUBSET anomalism unsolvable hyperedges yb

Back