satisfiability (485B)
1 # Satisfiability 2 3 The *satisfiability problem* is a [decision_problem] in [logic]: given a [logical_theory], decide if it has a [model] 4 5 - [satisfiability_FO] 6 - [satisfiability_boolean] 7 - [satisfiability_cnf] 8 - [QBF]: http://www.qbflib.org/ 9 - [satisfiability_weighted] 10 11 Tools: [sat_solver] 12 13 See also: [strong_exponential_time_hypothesis], [satisfiability_boolean], [tautology], [automaton_emptiness], [satisfiability_modulo_theory], [equisatisfiability] 14 15 Up: [computational_problem]