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
... Tyldesley[?] British Commercial Vehicle Museum[?], Leyland[?] London British Museum Imperial War Museum -- see also Manchester The London Institute Madame ...