SBSAT公司

此软件的关键字
zbMATH中的参考文献(参考文献 10条 , 1标准件 )
卡斯塔尼奥,何塞。; Castaño,Rodrigo:命题可满足性的有限状态交集方法(2012) 徐燕燕; 陈伟; 苏,凯乐; 张文辉:利用OBDDs和贪婪集团分解求解SAT难题(2012) 卡斯塔尼奥,何塞。; Castaño,Rodrigo:FSA方法中命题可满足性的变量和子句排序(2011) 尤西拉,托尼; 辛兹,卡斯滕; Biere,Armin:符号SAT解量化的扩展分辨率证明(2006) 辛兹,卡斯滕; Biere,Armin:连接BDDs的扩展分辨率证明(2006) 苏凯乐; 陈庆良; 萨塔尔,阿卜杜勒; 岳、魏雅; 吕关锋; 郑锡忠:基于SAT编译的认知目标认证协议验证(2006) ioport公司 金、勋桑; Somenzi,Fabio:马戏团:一个混合可满足性求解器(2005) 潘国强; Vardi,Moshe Y.:可满足性解决中的符号技巧(2005) 潘国强; Vardi,Moshe Y.:可满足性解决中的搜索与符号技术(2005) 佛朗哥,约翰; 库里尔,米甲; 施利普,约翰; 沃德,杰弗里; 韦弗,肖恩; 德兰斯菲尔德,迈克尔; Vanfreet,W.Mark:SBSAT:基于状态、基于BDD的满意度求解器(2004)