Химическая кинетика
...на несколько частей: сначала приводится общая информация о задаче выполнимости булевых формул , далее производится обзор существующих методов решения. Эти методы проанализированы с точки зрения использования непрерывных форм булевых переменных.