satisfiability

999	solvable
596	NP
588	problem
579	satisfiable
565	undecidable
555	solving
549	polynomial
542	PSPACE
533	decidable
527	solved

previous:	Satisfiability
next:	Satisfied
random:	0Qp024

More distant neighbors

PTAS solves EXPSPACE solve unsatisfiable tractable constraint 3SAT combinatorial conjunctive Boolean boolean optimization eigenvalue algorithm graph unsolvability SUBSET brachistochrone propositional Hilbert graphs unsolvable subproblems bipartite variational Znam isomorphism deterministic algorithmic equations quadratic heuristics QQBF algorithms Hamiltonian acyclic

Back