Netsoft swMATH ID: 5173 Software Authors: Andrew Goldberg Description: Andrew Goldberg’s Network Optimization Library in C Homepage: http://www.avglab.com/andrew/soft.html Programming Languages: C Keywords: optimization; The Constrained NLO Problem Related Software: DIMACS; WhyML; Prpu_Maxflow; Gabow SCC; Archive Formal Proofs; Amortized Complexity; Flow Networks; Refinement Monadic; Dijkstra Shortest Path; Separation Logic; Edmonds-Karp; GitHub; MLton; HOL; Isar; Why3; Isabelle/HOL; Isabelle; Coq; ConicBundle Cited in: 9 Publications all top 5 Cited by 17 Authors 3 Madduri, Kamesh 3 Subramani, Krishnan 2 Ozturan, Can 1 Altner, Douglas S. 1 Bley, Andreas 1 Chen, Jiangzhuo 1 Ergun, Ozlem 1 Lammich, Peter 1 Ljubić, Ivana 1 Macauley, Matthew 1 Marathe, Achla 1 Maurer, Olaf 1 Orlin, James B. 1 Özer, Ali Haydar 1 Sefidgar, S. Reza 1 Tauras, C. 1 Williamson, Matthew all top 5 Cited in 9 Serials 1 Discrete Applied Mathematics 1 Applied Mathematics and Computation 1 Computing 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 Computational Economics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Discrete Algorithms 1 EURO Journal on Computational Optimization Cited in 4 Fields 8 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 2 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year