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
... to the doctrines of Hegel and Schleiermacher. After holding the chair of philosophy at Halle for two years, he became, in 1833, professor at the university of ...