英语 ⇄ 俄语 +

SAT solver 强调
软件	решатель задач выполнимости булевых формул (ищет возможные конфигурации модели, удовлетворяющие всем ограничениям Alex_Odeychuk)

SAT solver : 1 短语, 1 学科

编程

1