(There is also such a thing as satisfiability of formulas of first-order and second-order logic.)
Compare with: decision problem
External links
... Chantiers de la Jeunesse[?] or "youth camps" - 1940 General de La Porte du Theil gathered young military servicemen who lived on the road after the defeat. General ...