Terms for subject Artificial intelligence containing SAT

English	Russian
k-SAT	задача выполнимости булевых формул в k-конъюнктивной нормальной форме (Alex_Odeychuk)
2-SAT	задача выполнимости булевых формул в 2-конъюнктивной нормальной форме (Alex_Odeychuk)
SAT compiler	компилятор на основе решателя задач выполнимости булевых формул (Alex_Odeychuk)
SAT solver	решатель задач выполнимости булевых формул (Alex_Odeychuk)