boolean satisfiability problem
Sign in to saveAlso known as propositional satisfiability problem, SATISFIABILITY, SAT
problem of determining if a Boolean formula could be made true
Also known as propositional satisfiability problem, SATISFIABILITY, SAT
problem of determining if a Boolean formula could be made true