×

找到90个软件包(结果1–90)

扣环

104篇文献引用(2007–2022)
软件作者: 马丁·格布瑟(Martin Gebser)、本杰明·考夫曼(Benjamin Kaufmann)、安德烈·诺伊曼(AndréNeumann)、托尔斯滕·绍布(Torsten Schaub)
相关软件: 格林戈;克林戈;WASP…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

周六4j

86篇文献引用(2007–2023)
软件作者: 勒贝雷;帕兰
相关软件: QMaxSAT;MiniSat;箔条…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

WASP公司

63份文件引用(2014–2023)
软件作者: 阿尔维亚诺,马里奥;多达罗、卡明;沃尔夫冈·费伯(Wolfgang Faber);尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡
相关软件: 克林戈;卡环;格林戈…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

DRAT-饰件

56篇文献引用(2014–2023)
软件作者: 内森·韦兹勒(Nathan Wetzler);Heule,Marijn J.H。;沃伦·亨特。
相关软件: MiniSat;Isabelle/HOL;玲玲…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…

zChaff公司

32篇文献引用(2003–2020)
软件作者: 约格什·马哈扬
相关软件: 查夫;MiniSat;伯克敏…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

普韦布洛

33篇文献引用(1998–2021)
软件作者: 侯赛因·希尼。;卡里姆·A·萨卡拉。
相关软件: MiniSat;查夫;周六…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学规划(90-XX)…

布洛克

33篇文献引用(2011–2023)
软件作者: Armin Biere、Florian Lonsing、Martina Seidl
相关软件: DepQBF;RAReQS;MiniSat…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

夏普SAT

32篇文献引用(2011–2023)
软件作者: M·瑟利。
相关软件: 夏普;GANAK公司;MiniSat…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

PySAT公司

26篇文献引用(2018–2023)
软件作者: 阿列克谢·伊格纳提耶夫(Alexey Ignatiev);安东尼奥·莫尔加多;若昂·西尔瓦侯爵
相关软件: MiniSat;葡萄糖;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…

CCLS公司

26篇文献引用(2015年-2023年)
软件作者: 罗,C。;蔡,S。;Wu,W。;杰,Z。;苏,K。
相关软件: MaxHS;周六4j;UBCSAT…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

YalSAT卫星

24篇文献引用(2017–2021)
软件作者: 阿明·比尔
相关软件: 玲玲;弯曲;Treengeling…
主要字段:

PrecoSAT公司

22篇文献引用(2010–2022)
软件作者: 比尔,A
相关软件: 弯曲;MiniSat;玲玲…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

MaxSolver(最大解算器)

19份文件引用(2005–2013)
软件作者: 赵星、张伟雄
相关软件: 查夫;最小最大卫星;MiniSat…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

CCASat卫星

17篇文献引用(2013年-2023年)
软件作者: 蔡少伟;苏凯乐
相关软件: CCLS;CCAnr公司;NuMVC…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);动力系统和遍历理论(37-XX)…

协处理器

12份文件引用(2015–2021)
软件作者: 诺伯特·曼泰
相关软件: 玲玲;MiniSat;弯曲…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

HordeSat公司

13份文件引用(2015年-2023年)
软件作者: 托马斯·巴利奥;彼得·桑德斯;卡斯滕·辛兹
相关软件: ManySAT;弯曲;MiniSat…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

CSIsat卫星

14篇文献引用(2009-2016年)
软件作者: 德克·拜尔;达米安·祖弗里(Damien Zufferey);鲁帕克·马朱姆达尔
相关软件: FOCI;公主;金刚狼…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

网格卫星

10篇文献引用(2006–2019)
软件作者: 科拉巴赫、瓦希德;里奇·沃尔斯基
相关软件: 查夫;SATO;PSATO…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

tawSolver软件

12份文件引用(1962–2022)
软件作者: 坦比尔·艾哈迈德;奥利弗·库尔曼
相关软件: 数学检查;山猫;GitHub…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…

PaMiraXT公司

11份文件引用(2009–2021)
软件作者: 舒伯特、托比亚斯;马修·刘易斯;贝恩德·贝克尔
相关软件: ManySAT;玲玲;MiniSat…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

变形杆菌属

10篇文献引用(2015–2022)
软件作者: 巴里·赫尔利;Kotthoff,Lars;尤里·马利茨基;巴里·奥沙利文
相关软件: 微量锌;萨齐拉;桑尼…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

阿司匹林

11份文件引用(2012–2022)
软件作者: 胡斯,霍尔格;罗兰·卡明斯基(Roland Kaminski);马吕斯·林道尔;托尔斯滕·绍布
相关软件: 萨齐拉;SMAC;帕拉米尔斯…
主要字段: (68T20-XX);(68N17-XX)

PaInleSS公司

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

raSAT系统

11份文件引用(2016–2023)
软件作者: T.V.Khanh,M.小川。
相关软件: SMT-RAT;z3;SMT-LIB…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);数值分析(65-XX)…

链卫星

8份文件引用(2010–2020)
软件作者: M.Alava、J.Ardelius、E.Aurell、P.Kaski、S.Krishnamurthy、P.Orponen、S.Seitz
相关软件: 随身听;ManySAT;TTTPLOTS…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

作用力

10篇文献引用(2005–2023)
软件作者: 阿卢尔,F.A。;马尔科夫,I.L。;萨卡拉,K.A。
相关软件: SBSAT;查夫;MiniSat…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

BEE公司

8份文件引用(2012–2022)
软件作者: Metodi,Amit;迈克尔·科迪什
相关软件: 鹦鹉螺;踪迹;MiniSat…
主要字段: (68N20-XX);(68N17-XX)

BoSy公司

9份文件引用(2019–2021)
软件作者: 彼得·费蒙维尔(Peter Faymonville);芬克贝纳(Bernd Finkbeiner);Leander Tentrup公司
相关软件: 条纹;SPOT;相思树+…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

马戏团

9份文件引用(2004–2017)
软件作者: Jin,HoonSang;法比奥·萨蒙齐
相关软件: 查夫;CUDD;zChaff…
主要字段: (68T20-XX)

墨西哥煎玉米卷

6篇文献引用(2013–2021)
软件作者: 胡安·加莱奥蒂(Juan P.Galeotti);尼古拉·罗斯纳(Nicolas Rosner);卡洛斯·洛佩斯·蓬博(Carlos G.Lopez Pombo);马塞洛·弗里亚斯
相关软件: TestEra;Java PathFinder;MiniSat…
主要字段: 数学逻辑与基础(03-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…

信标

8份文件引用(2016–2022)
软件作者: Arif,M.Fareed先生;卡洛斯·门西娅(Carlos Mencía);阿列克谢·伊格纳提耶夫(Alexey Ignatiev);诺伯特·曼恩;拉斐尔·佩尼亚洛萨;若昂·西尔瓦侯爵
相关软件: HgMUS;ELK;EL2MCS…
主要字段: 计算机科学(68-XX)

加州大学洛杉矶分校

8份文件引用(2013–2019)
软件作者: Nuzzo,P.、Puggelli,A.、Seshia,S.A.、Sangiovanni-Vincentelli,A.L。
相关软件: dReal;z3;dReach…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学,数学规划(90-XX)…

CCAnr公司

7份文件引用(2015年-2023年)
软件作者: 蔡少伟;罗川;苏凯乐
相关软件: 玲玲;CCASat;弯曲…
主要字段: (68T20-XX)

SAT时CUD

6篇文献引用(2016年至2021年)
软件作者: A.Dal Pal'u、A.Dovier、A.Formisano、E.Pontelli
相关软件: ManySAT;玲玲;弯曲…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

gpremeencemm公司

7份文件引用(2016–2022)
软件作者: 亚历山大·施内尔(Alexander Schnell);理查德·哈特尔(Richard F.Hartl)。
相关软件: 累积mm;PSPLIB;npuScheduler…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

SaDiCaL公司

7份文件引用(2019–2023)
软件作者: Marijn J.H.Heule、Benjamin Kiesl、Armin Biere
相关软件: DRAT-饰件;MiniSat;箔条…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

齐塔卫星

4份文件引用(2006–2015)
软件作者: Blochinger,W.、Westje,W.、Küchlin,W.、Wedeniwski,S。
相关软件: 网格卫星;查夫;MiniSat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

阿祖卡

4份文件引用(2014–2022)
软件作者: Tomoya Tanjo、Naoyuki Tamura、Mutsunori Banbara
相关软件: Gecode公司;微量锌;糖…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

直觉

6篇文献引用(2015–2022)
软件作者: 科恩·克莱森;丹·罗森
相关软件: IntHistGC;fCube;ILTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

meSAT公司

6篇文献引用(2014–2022)
软件作者: 米尔科·斯托贾迪诺维奇;菲利普·马里奇
相关软件: 微量锌;糖;Yices…
主要字段: (90C30-XX);(90C11-XX)

RP-DeLP公司

6篇文献引用(2014–2023)
软件作者: 阿尔西内特、特蕾莎;拉蒙贝加尔;戈多,Lluís;弗朗西斯科·吉塔特
相关软件: ProbLog;编辑;dynPARTIX…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…

URSA公司

6篇文献引用(2012–2022)
软件作者: 贾尼奇,P。
相关软件: z3;卡环;MiniSat…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

安托姆

5份文件引用(2012–2021)
软件作者: 斯文·雷默(Sven Reimer)、托比亚斯·舒伯特(Tobias Schubert)
相关软件: PicoSAT;CryptoMiniSat;ApCoCoA…
主要字段: 阶、格、有序代数结构(06-XX);交换代数(13-XX);计算机科学(68-XX)…

CNF发电机

4份文件引用(2020–2021)
软件作者: 马西莫·劳里亚;Elffers,Jan;雅各布诺德斯特伦;马克·维尼亚尔斯
相关软件: MiniSat;Scikit;Python…
主要字段: 阶、格、有序代数结构(06-XX);交换代数(13-XX);计算机科学(68-XX)…

GrADSAT公司

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

地图COMSPS_LRB

5份文件引用(2020–2021)
软件作者: Liang,J.H。;哦,C。;加内什,V。;Czarnecki,K。;Poupart,P。
相关软件: MapleCOMSPS;MiniSat;YalSAT…
主要字段: 计算机科学(68-XX)

普赛克

5份文件引用(2013–2020)
软件作者: 圣菲省格拉汉·伦格兰德
相关软件: 伊莎贝尔;直觉;ILTP…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

工作包2

4份文件引用(2016–2017)
软件作者: Carlos Ansótegui、Maria Luisa Bonet、Joel Gabás、Jordi Levy
相关软件: 周六4j;MaxHS;MiniMaxSat…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

CDCLSym公司

4份文件引用(2018–2023)
软件作者: 哈坎梅廷;苏海卜·巴里尔;科朗格,马克西米利安;Fabrice Kordon公司
相关软件: MiniSat;SymChaff;PSATO…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

水晶球

4份文件引用(2019–2022)
软件作者: 马特·索斯;拉加夫·库尔卡尼;Kuldeep S.梅尔。
相关软件: 查夫;MiniSat;OTTER…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

fzn2毫米

4份文件引用(2012–2017)
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
相关软件: 微量锌;Gecode公司;SCIP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

国际卫星组织

引用于3份文件(2011–2017)
软件作者: Ezequiel Orbe、Carlos Areces、Gabriel Infante-López
相关软件: DPvis;ISAT-CK7;坎特拉…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

MPI部门QBF

4份文件引用(2014–2019)
软件作者: 乔丹,C.,凯撒,L.,朗辛,F.,塞德尔,M。
相关软件: DepQBF;QMiraXT;罕见…
主要字段: 计算机科学(68-XX)

NLocalSAT(非本地卫星)

引用于3份文件(2021–2023)
软件作者: 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐
相关软件: CCAnr公司;YalSAT;玲玲…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

别名

引用于3份文件(2018–2021)
软件作者: 科切马佐夫,斯蒂芬;奥列格·扎金
相关软件: PaInleSS;MiniSat;SMAC…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

博斯普鲁斯海峡

引用于3份文件(2020–2021)
软件作者: Choo,D.,Soos,M.,Chai,K.M.A.,Meel,K.S。
相关软件: 帕切克;Nusschecker;RevSCA…
主要字段: 阶、格、有序代数结构(06-XX);交换代数(13-XX);计算机科学(68-XX)…

F@BOOL风机@

引用于3份文件(2008–2010)
软件作者: 博丹,E.V.,加里尼亚,N.A.,希洛夫,N.V。,
相关软件: zChaff公司
主要字段: 计算机科学(68-XX)

弗兰肯比特

2份文件引用(2017–2018)
软件作者: Gurfinkel,A.,Belov,A。
相关软件: CBMC;SLAM;AProVE…
主要字段: 计算机科学(68-XX)

MiFuMax公司

引用于3份文件(2015–2018)
软件作者: M.哈诺塔。
相关软件: NetworkX;数字Py;MiniSat…
主要字段: 计算机科学(68-XX)

帕萨特

引用于3份文件(2006–2009)
软件作者: Shi,J.、Fey,G.、Drechsler,R.、Glowatz,A.、Hapke,F.、Schlöffel,J。
相关软件: 汉尼拔;苏格拉底;HITEC…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

上升

引用于3份文件(2016–2019)
软件作者: Kahlert,L。;Krüger,F。;Manthey,N。;A.斯蒂芬。
相关软件: Reluplex;RecurJac;Open-WBO…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

S集群++

引用于3份文件(2019–2021)
软件作者: Yan,H.、Gunawan,A.D.、Zhang,L。
相关软件: tcp包;ASTRID公司;巴基…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

SATGraf公司

引用于3份文件(2015–2016)
软件作者: 扎克·纽瑟姆;威廉·林赛(William Lindsay);维杰·加内什;梁家辉;塞巴斯蒂安·费奇迈斯特;Czarnecki、Krzysztof
相关软件: MiniSat;DPvis;上升…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

类似SAT

引用于3份文件(2020–2023)
软件作者: 蔡少伟;雷振东
相关软件: Open-WBO;PBLib;古罗比…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

圣甲虫

2份文件引用(2014)
软件作者: Soh、Takehide;Tamura、Naoyuki;穆苏诺里·班巴拉
相关软件: 周六4j;格拉帕;Lynx…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

托伊利姆

2份文件引用(2012–2013)
软件作者: 沃恩哈德,C。
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

3BA公司

2份文件引用(2018)
软件作者: Horáckek,Jan;马丁·克鲁泽
相关软件: LELA;GBLA;安东尼…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)

BALM-II型

2份文件引用(2015–2020)
软件作者: 卡斯蒂蒂内蒂,G.,皮科洛,M.,维拉,T。
相关软件: MVSIS公司
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CPSparrow公司

1份文件引用(2021)
软件作者: 胡亚敏、罗文建、王俊腾
相关软件: gluHack;Sparrow2排放;弯曲…
主要字段: 计算机科学(68-XX)

DRABT公司

2份文件引用(2015–2016)
软件作者: Marijn J.H.Heule;阿明·比尔
相关软件: MiniSat;DRAT-饰件;PicoSAT…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

FourierSAT公司

2份文件引用(2021)
软件作者: Kyrillidis、Anastasios;Shrivastava,安舒马里;Vardi,Moshe Y。;张志伟
相关软件: MiniSat;玲玲;弯曲…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

格鲁哈克

1份文件引用(2021)
软件作者: 胡亚敏、罗文建、王俊腾
相关软件: CPSparrow;Sparrow2排放;弯曲…
主要字段: 计算机科学(68-XX)

地图卫星

2份文件引用(2017–2020)
软件作者: 贾慧亮;维杰·加内什(Vijay Ganesh);滑铁卢大学
相关软件: 鹦鹉螺;踪迹;zChaff…
主要字段:

OK库

2份文件引用(2009-2014年)
软件作者: O.库尔曼。
相关软件: MiniSat;SATO;玲玲…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

光学卫星

2份文件引用(2006–2013)
软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);马可·马拉提亚
相关软件: MiniSat;鸦片;MSUnCore…
主要字段: (68T20-XX);(90C57-XX)

SArTagnan公司

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

Wombit公司

2份文件引用(2019–2020)
软件作者: 王文喜;哈拉尔德·Söndergaard;彼得·斯塔基。
相关软件: CVC4;Why3;MiniSat…
主要字段: 计算机科学(68-XX)

亚索尔

2份文件引用(2021)
软件作者: Ederer,T。;Hartisch,M。;美国洛伦茨。;Opfer,T。;J·沃尔夫。
相关软件:
主要字段: 运筹学、数学规划(90-XX)

DiffSat卫星

1份文件引用(2007)
软件作者: Jing,Minge;周、甸;唐普珊;周晓芳;张华
相关软件: MiniSat;SATO;伯克敏…
主要字段: 计算机科学(68-XX)

I-RiSC公司

1份文件引用(2011)
软件作者: 乌尔里希·卢普;艾丽卡·阿尔布拉汉姆
相关软件: cvc3;ABsolver;OpenSMT…
主要字段: 计算机科学(68-XX)

学习SAT

在0个文档中引用
软件作者: 莫德凯·本·阿里(Moti)
相关软件:
主要字段: 计算机科学(68-XX)

ManyOpt公司

在0个文档中引用
软件作者: 安德里亚·卡莉亚·迪迪奥、迈克尔·胡特
相关软件: 数学SAT;OSiL;男爵…
主要字段:

合并卫星

1份文件引用(2021)
软件作者: 诺伯特·曼恩
相关软件: 地图_LCM_Dist_ChronoBT;MiniSat;葡萄糖…
主要字段: 计算机科学(68-XX)

元SMT

1份文件引用(2021)
软件作者: H.里纳。
相关软件: CVC4;SMT套件;BtorMC…
主要字段: 计算机科学(68-XX)

MiniSym公司

1份文件引用(2018)
软件作者: 哈坎梅廷;苏海卜·巴里尔;科朗格,马克西米利安;Fabrice Kordon公司
相关软件: MiniSat;CDCLSym;索西…
主要字段: 计算机科学(68-XX)

自闭症

1份文件引用(2016)
软件作者: 迈克尔·弗兰克;迈克尔·科迪什
相关软件: 鹦鹉螺;极乐;SWI-预测…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

相对卫星

1份文件引用(2015)
软件作者: 罗伯托·巴亚多
相关软件: 鹦鹉螺;TOPCOM公司;SCIP公司
主要字段:

SLIME公司

1份文件引用(2021)
软件作者: 俄勒冈州里韦罗斯。
相关软件: YalSAT;Paracooba;基萨特…
主要字段: 计算机科学(68-XX)

稳定TBN

1份文件引用(2021)
软件作者: 戴维·哈雷(David Haley);大卫·多蒂
相关软件: 4ti2;OR-tools;z3…
主要字段: 计算机科学(68-XX)

delSAT卫星

在0个文档中引用
软件作者: 马蒂亚斯·尼克尔斯
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件