Redirected from Satisfiability problem
(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... election, 1804 Presidential CandidateElectoral Vote Party Running Mate(Electoral Votes) Thomas Jefferson (W) 162 Democratic-Republican George Clinton ...