The problem of determining if there exists an interpretation that satisfies a given logical formula.
Generality: 775
