|
Листровой, С. В. Метод решения k-SAT-задачи сведением ее к задаче о покрытии [Текст] / С. В. Листровой, А. В. Сидоренко // Электронное моделирование. – 2015. – Т. 37, № 5. – С. 17-34.
Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SAT-задачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач. |