苏格拉底 swMATH ID: 10073 软件作者： 舒尔茨，M.，特里施勒，E.，萨弗特，T。 描述： 苏格拉底一个高效的自动测试模式生成系统。提出了一个自动测试模式生成系统，苏格拉底。苏格拉底包括一些新的概念和技术，这些概念和技术极大地改进和加速了组合电路和扫描电路的自动测试模式生成过程。基于FAN算法，描述了改进的隐含、敏化和多重回溯过程。这些技术的应用大大减少了回溯的次数，并更早地认识到冲突和冗余。使用一组组合基准电路的几个实验证明了苏格拉底的效率及其成本效益，即使在工作站环境中也是如此。 主页： http://ieeexplore.iee.org/xpl/login.jsp？tp=&arnumber=3140 相关软件： 伯克明州;糠;超小卫星;汉尼拔;帕萨特;HITEC公司;MiniMaxSat卫星;快速拉伸;DIMACS公司;PicoSAT卫星;萨特齐拉;SATO公司;徒步旅行;ManySAT公司;SATIRE（饱和）;zChaff公司;马戏团;勒梅;MAHA公司;HOL公司 引用于： 9出版物 全部的 前5名19位作者引用 2 罗尔夫·德雷克斯勒 2 格什温·菲 1 梅赫迈特·丁卡斯 1 埃格斯格鲁，斯蒂芬 1 哈桑·法哈特（Hassan A.Farhat）。 1 发件人：Steven G。 1 乌韦·休伯纳 1 Yu Kapitonova。五、。 1 沃尔夫冈·昆兹 1 李世绝 1 林伟杰 1 沙拉德·马利克 1 Joáo P.塞尔瓦侯爵。 1 Mar'yanovich，T.P。 1 A.A.米什琴科。 1 赫尔穆特·西蒙尼斯 1 多米尼克·斯托菲尔 1 蒂尔，D。 1 帕斯卡·范·亨特利克 5篇连载文章中引用 1 人工智能 1 计算机与数学及其应用 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 控制论与系统分析 1 Bericht der Gesellschaft für Mathematik und Datenverabeitung（GMD-Berichte） 在5个字段中引用 8 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 1 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文