变速箱 swMATH ID: 17349 软件作者： Otpuschennikov，I.、Semenov，A.、Kochemazov，S。 描述： Transalg：一种将离散函数的过程描述转换为SAT的工具。在本文中，我们介绍了Transalg系统，该系统旨在为离散函数生成SAT编码，并以特定语言编写程序。将此类程序翻译为SAT是基于形式计算模型的命题编码方法和符号执行的概念。我们使用Transalg系统为许多密码函数进行SAT编码。 主页： https://arxiv.org/abs/1405.1544 相关软件： 超小卫星;Trivium公司;URSA公司;CBMC公司;github;谷物;YalSAT卫星;钙DiCaL;玲玲;Treengeling公司;弯曲;SMAC公司;巴基斯坦国家税务局;序列密码;米奇;SATO公司;兔子;自我;加密卫星;别名 引用于： 6文件 标准文章 1出版物描述软件，包括1出版物以zbMATH为单位 年份 将组合问题转化为布尔方程的技术。 Zbl 1477.68188号Otpuschennikov，I.V.公司。;塞梅诺夫，A.A。 2011 全部的 前5名8位作者引用 4 Aleksandr Anatol’evich塞梅诺夫 2 伊利亚·奥特普申尼科夫。 2 奥列格·谢尔盖维奇·扎金 1 基里尔·安东诺夫 1 伊琳娜·格里巴诺娃 1 科切马佐夫，S.E。 1 斯蒂芬·科切马佐夫 1 奥图申尼科夫，伊尔亚·弗拉基米洛维奇 引用于4个系列 1 自动化和远程控制 1 优化方法和软件 1 计算机科学中的逻辑方法 1 Prikladnaya Diskretnaya Matematika公司 在3个字段中引用 4 运筹学、数学规划（90-XX） 3 计算机科学（68至XX） 3 信息与通信理论、电路（94-XX） 按年份列出的引文