<<Up Contents
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
wikipedia.org dumped 2003-03-17 with terodump