×

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

普韦布洛

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

HySAT卫星

26篇文献引用(2006–2021)
软件作者: Fränzle,Martin;克里斯蒂安·赫尔德
相关软件: 高科技;数学SAT;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…

LMHS公司

12份文件引用(2016–2022)
软件作者: 保罗·赛科(Paul Saikko);杰里米亚斯·伯格(Jeremias Berg);Järvisalo,马蒂
相关软件: QMaxSAT;周六4j;Open-WBO…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

通信卫星

10篇文献引用(2015–2022)
软件作者: 哦,Chanseok
相关软件: MiniSat;葡萄糖;玲玲…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

CalCS公司

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

FourierSAT公司

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

地图卫星

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

筛选结果依据…

全部的 前5名

相关软件