KnowraBoolean satisfiability problemLinked fromLinked fromThe 16 pages that link to Boolean satisfiability problem, each with the reason it gives.All 16Broader topic 9Related 5Narrower topic 1Compared with 1Propositional logicRelated: It is the central computational problem expressed in propositional logic.NegationRelated: Negated variables and clauses shape the formulas tested for satisfiability.Automated theorem provingRelated: SAT solvers automate propositional reasoning and support many proof procedures.George BooleRelated: Modern computational logic studies questions about formulas in the algebraic tradition Boole helped establish.Logical equivalenceRelated: Equivalence checking can be reduced to testing whether a formula for their disagreement is unsatisfiable.