扣环 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)…
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)…
BoSy公司 9份文件引用(2019–2021) 软件作者: 彼得·费蒙维尔(Peter Faymonville);芬克贝纳(Bernd Finkbeiner);Leander Tentrup公司 相关软件: 条纹;SPOT;相思树+… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-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)…
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)
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)…
地图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)…
帕萨特 引用于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)
圣甲虫 2份文件引用(2014) 软件作者: Soh、Takehide;Tamura、Naoyuki;穆苏诺里·班巴拉 相关软件: 周六4j;格拉帕;Lynx… 主要字段: 组合数学(05-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)
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)
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)
MiniSym公司 1份文件引用(2018) 软件作者: 哈坎梅廷;苏海卜·巴里尔;科朗格,马克西米利安;Fabrice Kordon公司 相关软件: MiniSat;CDCLSym;索西… 主要字段: 计算机科学(68-XX)