Hofstedt, Wolf: Einführung in die Constraint-Programmierung. 2007, S. 58. Eine „naive“ Herangehensweise zur Entscheidung der Erfüllbarkeit und zur Berechnung konkreter Lösungen wäre, alle möglichen Belegungen der Variablen mit Werten durchzuprobieren.