×

找到2个软件包（结果1-2）

引文 按字母顺序

SAT解算器验证

6篇文献引用(2009–2023)
软件作者： 菲利普·马里克
相关软件： 存档正式证据；Isabelle/HOL；箔条…
主要字段： 计算机科学（68-XX）

尤里卡

2份文件引用(2010–2011)
软件作者： 亚历山大·纳德尔；莫兰·戈登；阿米特·帕尔蒂；齐亚德·汉纳
相关软件： MiniSat；糠；Zchaff2004…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段