伊索拉索 2份文件引用(2019–2022) 软件作者: 魏丽、冯建兴、陶江 相关软件: HISAT;鲑鱼;古罗比… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
科尔哈普斯 2份文件引用(2014–2016) 软件作者: L.Tininii、P.Bertolazzi、A.Godi、G.Lancia 相关软件: RPOLY;BG WalkSAT;MiniSat… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)