×

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

兴高采烈的

22篇文献引用(2016–2023)
软件作者: Chu,G.、Stuckey,P.J.、Schutt,A.、Ehlers,T.、Gange,G.和Francis,K。
相关软件: 微量锌;CPLEX;Gecode…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SMCHR公司

引用于2份文件(2012–2018)
软件作者: 格雷戈里·杜克。
相关软件: 小脚;CBMC;SLAyer…
主要字段: 计算机科学(68-XX)

筛选结果依据…