×

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

PaInleSS公司

10篇文献引用(2018–2023)
软件作者: 勒弗里克斯,卢多维奇;苏海卜·巴里尔;朱利安·索佩纳;法布里斯·科登
相关软件: ManySAT;弯曲;Treengeling…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

LeoPARD公司

8份文件引用(2015–2021)
软件作者: 马克斯·维斯涅夫斯基(Max Wisniewski);亚历山大·斯蒂恩(Alexander Steen);克里斯托夫·本兹穆勒
相关软件: TPTP;Leo-III;沙达拉…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

GrADSAT公司

2份文件引用(2006–2015)
软件作者: 瓦希德·查拉巴赫
相关软件: 齐塔卫星;糠;GridSAT…
主要字段: 计算机科学(68-XX)

PMiniSAT公司

2份文件引用(2009–2012)
软件作者: 朱棣文;彼得·J·斯塔基
相关软件: ManySAT;CryptoMiniSat;弯曲…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SArTagnan公司

2份文件引用(2012–2014)
软件作者: Kottler,S.、Kaufmann,M。
相关软件: 糠;ManySAT;MiniSat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

基尼

1份文件引用(2020年)
软件作者: 斯科特·科顿
相关软件:
主要字段: 流体力学(76-XX);地球物理学(86-XX)

筛选结果依据…