Результаты поиска
Создать страницу «SAT» в этом вики-проекте! См. также найденные результаты поиска.
Файл:IND GRAPH.png Граф, построенный для формулы в 3-SAT(418 × 180 (6 КБ)) - 16:19, 19 марта 2010Файл:Булева выполнимость.png (200 × 206 (8 КБ)) - 18:14, 2 января 2017