Проектирование вещественных переменных в булевы в методе простой итерации, примененном к задаче выполнимости булевых формул