×

Netsoft公司

swMATH ID: 5173
软件作者: 安德鲁·戈德堡
描述: Andrew Goldberg的C语言网络优化库
主页: 网址:http://www.avglab.com/andrew/soft.html
编程语言: C类
关键词: 优化约束NLO问题
相关软件: DIMACS公司Dijkstra最短路径Why3号机组WhyML公司Prpu_Maxflow(最大流量)石笼SCC存档正式证据摊销复杂性流动网络精炼一元分离逻辑埃德蒙兹-卡普githubMLton公司HOL公司伊萨尔伊莎贝尔/HOL伊莎贝尔Coq公司圆锥束
引用于: 9文件

按年份列出的引文