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