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
... (+ 1957) March 1 - Glenn Miller, bandleader (+ 1944) March 2 - Dr. Seuss, author (+ 1991) March 8 - Victor de Kowa[?], actor (+ 1973) March 6 - Josep ...