×

找到10个软件包(结果1-10)

合金

引用于29份文件(2001–2023)
软件作者: 丹尼尔·杰克逊
相关软件: 美国铝业;自旋蛋白;Z、 …
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

布洛克

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)

筛选结果依据…

全部的 前5名

相关软件