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 1SAT solverNarrower topic: A SAT solver is an algorithmic tool for this decision problem.