布洛克 33篇文献引用(2011–2023) 软件作者: Armin Biere、Florian Lonsing、Martina Seidl 相关软件: DepQBF;RAReQS;MiniSat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
南美林猫 23篇文献引用(2007–2022) 软件作者: 埃米娜·托拉克;丹尼尔·杰克逊 相关软件: z3;伊莎贝尔·霍尔;Nitpick… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
InKreSAT公司 引用于9份文件(2013–2022) 软件作者: 马克·卡明斯基(Mark Kaminski);托比亚斯·特比 相关软件: 斯巴达克斯;BDDTab;FaCT++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者: 胡安·加莱奥蒂(Juan P.Galeotti);尼古拉·罗斯纳(Nicolas Rosner);卡洛斯·洛佩斯·蓬博(Carlos G.Lopez Pombo);马塞洛·F·弗里亚斯 相关软件: TestEra;Java PathFinder;MiniSat… 主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…
变速箱 6篇文献引用(2011–2021) 软件作者: Otpuschennikov,I.、Semenov,A.、Kochemazov,S。 相关软件: MiniSat;氚;URSA… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
URSA公司 6篇文献引用(2012–2022) 软件作者: 贾尼奇,P。 相关软件: z3;卡环;MiniSat… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
fzn2毫米 4份文件引用(2012–2017) 软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。 相关软件: 微量锌;Gecode公司;SCIP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
LP2ACYC公司 1份文件引用(2014) 软件作者: M.Gebser、T.Janhunen、J.Rintanen 相关软件: LP2正常2;葡萄糖;lp2正常… 主要字段: 计算机科学(68-XX)
SatELite公司 1份文件引用(2014) 软件作者: Niklas Eén、Niklas Sörensson 相关软件: MiniSat;SATIRE(饱和) 主要字段: 计算机科学(68-XX)