普韦布洛 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)…
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)