Implementation and analysis of quantum-classical hybrid interactive image segmentation algorithm based on quantum annealer. (English) Zbl 07924456
MSC:
81P68
Found 1,144 Documents (Results 1–100)
Interplay between insertion of zeros and the complexity of Dedekind cuts. (English) Zbl 07903169
MSC:
03Dxx
Sparse multi-term disjunctive cuts for the epigraph of a function of binary variables. (English) Zbl 07898871
On SOCP-based disjunctive cuts for solving a class of integer bilevel nonlinear programs. (English) Zbl 07898862
Improved approximation algorithms by generalizing the primal-dual method beyond uncrossable functions. (English) Zbl 07896134
Solving integer indefinite quadratic bilevel programs with multiple objectives at the upper level. (English) Zbl 1542.90215
Interval-valued picture fuzzy hypergraphs with application towards decision making. (English) Zbl 1542.05151
Mixed-integer linear programming formulations and column generation algorithms for the minimum normalized cuts problem on networks. (English) Zbl 07874463
The wildfire suppression problem with multiple types of resources. (English) Zbl 07874461
MSC:
90Bxx
Comparative analysis of mathematical formulations for the two-dimensional guillotine cutting problem. (English) Zbl 07841032
MSC:
90-XX
Enumerating diamond cuts. (English) Zbl 1536.05245
On polytopes with linear rank with respect to generalizations of the split closure. (English) Zbl 07825281
A decomposition approach for multidimensional knapsacks with family-split penalties. (English) Zbl 07816763
MSC:
90-XX
The alpha-ordering for a wide class of fuzzy sets of the real line: the particular case of fuzzy numbers. (English) Zbl 1538.03024
MSC:
03E72
Approximating sparse quadratic programs. (English) Zbl 07782074
MSC:
68Qxx
Cut-sufficient directed 2-commodity multiflow topologies. (English) Zbl 1528.90227
Del Pia, Alberto (ed.) et al., Integer programming and combinatorial optimization. 24th international conference, IPCO 2023, Madison, WI, USA, June 21–23, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13904, 408-422 (2023).
Approximating the chance-constrained capacitated vehicle routing problem with robust optimization. (English) Zbl 1522.90061
Computational evaluation of cut-strengthening techniques in logic-based Benders’ decomposition. (English) Zbl 1533.90122
MSC:
90C30
Lattice of integer flows and the poset of strongly connected orientations for regular matroids. (English) Zbl 1530.05024
Reviewer: Kelly J. Pearson (Murray)
An efficient model for the multiple allocation hub maximal covering problem. (English) Zbl 1523.90259
Supermodularity and valid inequalities for quadratic optimization with indicators. (English) Zbl 1522.90041
Nonlocal perimeters and curvature flows on graphs with applications in image processing and high-dimensional data classification. (English) Zbl 1523.68049
Identifying the most important set of weights when modelling bad outputs with the weak disposability approach. (English) Zbl 07709847
MSC:
90Bxx
A branch-and-price-and-cut algorithm for operating room scheduling under human resource constraints. (English) Zbl 1542.90086
On the parameterized complexity of counting small-sized minimum \((S,T)\)-cuts. (English) Zbl 1517.05077
Strengthened SDP relaxation for an extended trust region subproblem with an application to optimal power flow. (English) Zbl 1514.90179
The influence of maximum \((s,t)\)-cuts on the competitiveness of deterministic strategies for the Canadian traveller problem. (English) Zbl 07638361
Strip based compact formulation for two-dimensional guillotine cutting problems. (English) Zbl 1520.90184
Optimization of wear related material costs of a hydrostatic transmission system via MINLP. (English) Zbl 07914586
Trautmann, Norbert (ed.) et al., Operations research proceedings 2021. Selected papers of the international conference of the Swiss, German and Austrian Operations Research Societies (SVOR/ASRO, GOR e.V., ÖGOR), University of Bern, Switzerland, August 31 – September 3, 2021. Cham: Springer. Lect. Notes Oper. Res., 331-337 (2022).
MSC:
90Cxx
Faster cut-equivalent trees in simple graphs. (English) Zbl 07870319
Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 109, 18 p. (2022).
Tight approximation algorithms for two-dimensional guillotine strip packing. (English) Zbl 07870290
Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 80, 20 p. (2022).
Edge connectivity augmentation in near-linear time. (English) Zbl 07774327
Leonardi, Stefano (ed.) et al., Proceedings of the 54th annual ACM SIGACT symposium on theory of computing, STOC ’22, Rome, Italy June 20–24, 2022. New York, NY: Association for Computing Machinery (ACM). 137-150 (2022).
MSC:
68Qxx
An outer-approximation algorithm for maximum-entropy sampling. (English) Zbl 1528.90216
Ljubić, Ivana (ed.) et al., Combinatorial optimization. 7th international symposium, ISCO 2022, virtual event, May 18–20, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13526, 130-142 (2022).
Working with families of inverse functions. (English) Zbl 07691302
Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 222-237 (2022).
MSC:
68Vxx
SDP-quality bounds via convex quadratic relaxations for global optimization of mixed-integer quadratic programs. (English) Zbl 1506.90173
Congruences on lattices and lattice-valued functions. (English) Zbl 1509.06003
Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 219-228 (2022).
Regularized graph cuts based discrete tomography reconstruction methods. (English) Zbl 1504.90176
MSC:
90C35
Maximum segments as natural deduction images of some cuts. (English) Zbl 1515.03210
Reviewer: Annika Kanckos (Helsinki)
MSC:
03F05
On generating Lagrangian cuts for two-stage stochastic integer programs. (English) Zbl 07587572
MSC:
90Cxx
Packing by scheduling: using constraint programming to solve a complex 2D cutting stock problem. (English) Zbl 1504.90129
Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 249-265 (2022).
MSC:
90C27
SOCP-based disjunctive cuts for a class of integer nonlinear bilevel programs. (English) Zbl 1497.90131
Aardal, Karen (ed.) et al., Integer programming and combinatorial optimization. 23rd international conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13265, 262-276 (2022).
Sparse multi-term disjunctive cuts for the epigraph of a function of binary variables. (English) Zbl 1497.90129
Aardal, Karen (ed.) et al., Integer programming and combinatorial optimization. 23rd international conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13265, 98-111 (2022).
Solving \((k-1)\)-stable instances of k-terminal cut with isolating cuts. (English) Zbl 1490.90298
MSC:
90C35
Fuzzy testing of operating performance index based on confidence intervals. (English) Zbl 1485.90021
Risk-averse multi-stage stochastic optimization for surveillance and operations planning of a forest insect infestation. (English) Zbl 1495.90116
On the complexity of recognizing integrality and total dual integrality of the \(\{0,1/2\}\)-closure. (English) Zbl 1525.90438
Edge-connectivity matrices and their spectra. (English) Zbl 1490.05160
Reviewer: Thomas Britz (Sydney)
Refined notions of parameterized enumeration kernels with applications to matching cut enumeration. (English) Zbl 1479.68002
Reviewer: Arne Meier (Hannover)
Lattice-valued algebraic structures via residuated maps. (English) Zbl 1502.08008
Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 7-13 (2022).
MSC:
08A72
A (slightly) improved approximation algorithm for metric TSP. (English) Zbl 07765151
Khuller, Samir (ed.) et al., Proceedings of the 53rd annual ACM SIGACT symposium on theory of computing, STOC ’21, virtual, Italy, June 21–25, 2021. New York, NY: Association for Computing Machinery (ACM). 32-45 (2021).
MSC:
68Qxx
Additive sparsification of CSPs. (English) Zbl 07740930
Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 75, 15 p. (2021).
MSC:
68Wxx
Determining 4-edge-connected components in linear time. (English) Zbl 07740926
Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 71, 15 p. (2021).
MSC:
68Wxx
Computing the 4-edge-connected components of a graph in linear time. (English) Zbl 07740902
Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 47, 17 p. (2021).
MSC:
68Wxx
The invention of new sequences through classifying and counting fuzzy matrices. (English) Zbl 1498.11078
Residuation in existential graphs. (English) Zbl 1514.03053
Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 229-237 (2021).
MSC:
03G15
Dedekind cuts and long strings of zeros in base expansions. (English) Zbl 07495173
De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 248-259 (2021).
MSC:
68Qxx
Strengthening of feasibility cuts in logic-based benders decomposition. (English) Zbl 07493620
Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 45-61 (2021).
Cover by disjoint cliques cuts for the knapsack problem with conflicting items. (English) Zbl 1525.90367
A fluid model for one-sided bipartite matching queues with match-dependent rewards. (English) Zbl 1482.90067
MSC:
90B22
Refined cut selection for Benders decomposition: applied to network capacity expansion problems. (English) Zbl 1485.90064
Asymptotics of the Riemann-Hilbert problem for the Somov model of magnetic reconnection of long shock waves. (English) Zbl 1483.30073
MSC:
30E25
On the implementation and strengthening of intersection cuts for QCQPs. (English) Zbl 1482.90131
Singh, Mohit (ed.) et al., Integer programming and combinatorial optimization. 22nd international conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12707, 134-147 (2021).
Generalized Chvátal-Gomory closures for integer programs with bounds on variables. (English) Zbl 1478.90059
Inexact cuts in stochastic dual dynamic programming applied to multistage stochastic nondifferentiable problems. (English) Zbl 1477.90048
On the cut number problem for the 4, and 5-cubes. (English) Zbl 1472.52036
MSC:
52C35
Filter Results by …
Document Type
- Journal Articles (951)
- Collection Articles (170)
- Books (23)
all
top 5
Author
- Sherali, Hanif D. (16)
- Fischetti, Matteo (15)
- Krutitskii, Pavel A. (15)
- Dash, Sanjeeb (12)
- Nagamochi, Hiroshi (11)
- Tepavčević, Andreja (11)
- Balas, Egon (10)
- Cornuéjols, Gérard P. (10)
- Šešelja, Branimir (10)
- Günlük, Oktay (9)
- Lee, Jon (8)
- Hamacher, Horst W. (7)
- Deza, Michel Marie (6)
- Frank, András (6)
- Goffin, Jean-Louis (6)
- Lin, Yi-Kuei (6)
- Lodi, Andrea (6)
- Lovász, László (6)
- Luedtke, James R. (6)
- Margot, François (6)
- Picard, Jean-Claude (6)
- Schrijver, Alexander (6)
- Shelah, Saharon (6)
- Davenport, James Harold (5)
- Dey, Santanu Subhas (5)
- Deza, Elena Ivanovna (5)
- Glover, Fred W. (5)
- Gusfield, Dan (5)
- Papaschinopoulos, Garyfalos (5)
- Queyranne, Maurice (5)
- Sebo, András (5)
- Wolsey, Laurence Alexander (5)
- Barndorff-Nielsen, Ole Eiler (4)
- Bonami, Pierre (4)
- Bradford, Russell J. (4)
- Chambers, Erin Wolf (4)
- Diudea, Mircea V. (4)
- Erné, Marcel (4)
- Escudero, Laureano Fernando (4)
- Filshtinsky, Leonid A. (4)
- Fox, Kyle (4)
- Gómez, Andrés (4)
- Guigues, Vincent (4)
- Ibaraki, Toshihide (4)
- Jin, Renling (4)
- Karger, David R. (4)
- Kolybasova, V. V. (4)
- Kuhlmann, Katarzyna (4)
- Laurent, Monique (4)
- Lee, Dabeen (4)
- Li, Yanjun (4)
- Ljubić, Ivana (4)
- Monaci, Michele (4)
- Naor, Dalit (4)
- Nayyeri, Amir (4)
- Niedermeier, Rolf (4)
- Ntaimo, Lewis (4)
- Richard, Jean-Philippe Pascal (4)
- Senapati, Tapan (4)
- Sinnl, Markus (4)
- Skutella, Martin (4)
- Stefanidou, Gesthimani (4)
- Tai, Xuecheng (4)
- Terlaky, Tamás (4)
- Tuy, Hoang (4)
- Weismantel, Robert (4)
- Yıldız, Sercan (4)
- Zanette, Arrigo (4)
- Živný, Stanislav (4)
- Atamtürk, Alper (3)
- Audet, Charles (3)
- Basu, Amitabh (3)
- Belotti, Pietro (3)
- Bergé, Pierre (3)
- Bertoluzza, Carlo (3)
- Bolla, Marianna (3)
- Borndörfer, Ralf (3)
- Boykov, Yuri (3)
- Ceria, Sebastián (3)
- Chen, Rui (3)
- De Baets, Bernard (3)
- Eppstein, David Arthur (3)
- Fluschnik, Till (3)
- Fukasawa, Ricardo (3)
- Gerla, Giangiacomo (3)
- Glantz, Roland (3)
- Góez, Julio César (3)
- Golovach, Petr A. (3)
- Gorjanac-Ranitović, Marijana (3)
- Guignard, Monique (3)
- Holm, Søren (3)
- Horváth, Eszter K. (3)
- Hu, Te-Chiang (3)
- Jeffrey, David J. (3)
- Joosten, Joost J. (3)
- Karzanov, Aleksandr V. (3)
- Kerre, Etienne E. (3)
- Khan, Arindam (3)
- Kolman, Petr (3)
- Krusic, Bogdan (3)
- and 1,673 more Authors
all
top 5
Serial
- Math. Program. (62)
- Discrete Appl. Math. (30)
- Oper. Res. Lett. (28)
- Eur. J. Oper. Res. (28)
- Comput. Oper. Res. (23)
- Fuzzy Sets Syst. (22)
- Ann. Oper. Res. (16)
- SIAM J. Optim. (16)
- Algorithmica (15)
- Discrete Math. (14)
- Networks (14)
- J. Glob. Optim. (14)
- J. Symb. Log. (12)
- SIAM J. Discrete Math. (12)
- INFORMS J. Comput. (12)
- Discrete Optim. (12)
- Oper. Res. (11)
- SIAM J. Comput. (10)
- Theor. Comput. Sci. (10)
- Pattern Recognition (9)
- J. Optim. Theory Appl. (8)
- J. Math. Imaging Vis. (8)
- Comput. Optim. Appl. (8)
- IEEE Trans. Reliab. (7)
- J. Appl. Math. Mech. (7)
- Commentat. Math. Univ. Carol. (7)
- Int. Trans. Oper. Res. (7)
- Differ. Equ. (7)
- Math. Program. Comput. (7)
- Inf. Process. Lett. (6)
- Mat. Metody Fiz.-Mekh. Polya (6)
- Math. Program. (6)
- Top (6)
- Soft Comput. (6)
- Optim. Lett. (6)
- Ars Comb. (5)
- Inf. Sci. (5)
- J. Comb. Theory, Ser. B (5)
- Notre Dame J. Formal Logic (5)
- Discrete Comput. Geom. (5)
- Cybern. Syst. Anal. (5)
- J. Fuzzy Math. (5)
- Int. J. Comput. Vis. (5)
- Czech. Math. J. (4)
- Geom. Dedicata (4)
- J. Comb. Theory, Ser. A (4)
- Manage. Sci. (4)
- Math. Oper. Res. (4)
- Math. Program. Study (4)
- Adv. Appl. Math. (4)
- Ann. Pure Appl. Logic (4)
- Arch. Math. Logic (4)
- J. Comb. Optim. (4)
- Nav. Res. Logist. Q. (4)
- Comput. Math. Appl. (3)
- Isr. J. Math. (3)
- Algebra Univers. (3)
- Appl. Math. Comput. (3)
- Fundam. Math. (3)
- J. Algebra (3)
- J. Comput. Appl. Math. (3)
- J. Comput. Syst. Sci. (3)
- J. Graph Theory (3)
- Kybernetika (3)
- Math. Slovaca (3)
- Pac. J. Math. (3)
- Teor. Primen. Meh. (3)
- Cybernetics (3)
- Eur. J. Comb. (3)
- Optimization (3)
- Congr. Numerantium (3)
- Math. Log. Q. (3)
- Mat. Metody Fiz.-Mekh. Polya (3)
- Math. Methods Oper. Res. (3)
- J. Intell. Fuzzy Syst. (3)
- MATCH Commun. Math. Comput. Chem. (3)
- Carpathian J. Math. (3)
- J. Comput. Appl. (3)
- ACM Trans. Algorithms (3)
- Commun. Algebra (2)
- Comput. Methods Appl. Mech. Eng. (2)
- Int. J. Solids Struct. (2)
- Vestn. Leningr. Univ., Mat. Mekh. Astron. (2)
- Z. Angew. Math. Mech. (2)
- Sov. Appl. Mech. (2)
- Ann. Stat. (2)
- Arch. Math. (2)
- Control Cybern. (2)
- Differ. Equations (2)
- Èkon. Mat. Metody (2)
- Hiroshima Math. J. (2)
- J. Appl. Probab. (2)
- J. Geom. (2)
- J. Oper. Res. Soc. Japan (2)
- J. Stat. Plann. Inference (2)
- Math. Operationsforsch. Stat., Ser. Optimization (2)
- Soobshch. Akad. Nauk Gruz. SSR (2)
- Util. Math. (2)
- J. Algorithms (2)
- Combinatorica (2)
- and 250 more Serials
all
top 5
Year of Publication
- 2024 (18)
- 2023 (26)
- 2022 (34)
- 2021 (34)
- 2020 (40)
- 2019 (30)
- 2018 (34)
- 2017 (30)
- 2016 (32)
- 2015 (31)
- 2014 (24)
- 2013 (37)
- 2012 (43)
- 2011 (48)
- 2010 (38)
- 2009 (20)
- 2008 (36)
- 2007 (32)
- 2006 (21)
- 2005 (20)
- 2004 (18)
- 2003 (18)
- 2002 (16)
- 2001 (14)
- 2000 (21)
- 1999 (19)
- 1998 (27)
- 1997 (25)
- 1996 (17)
- 1995 (18)
- 1994 (12)
- 1993 (29)
- 1992 (19)
- 1991 (17)
- 1990 (22)
- 1989 (10)
- 1988 (15)
- 1987 (25)
- 1986 (14)
- 1985 (15)
- 1984 (17)
- 1983 (19)
- 1982 (20)
- 1981 (19)
- 1980 (21)
- 1979 (22)
- 1978 (8)
- 1977 (2)
- 1976 (2)
- 1975 (1)
- 1971 (1)
- 1966 (1)
- 1956 (1)
- 1904 (1)
- 1897 (1)
- 1883 (2)
- 1881 (1)
- 1880 (2)
- 1878 (1)
- 1874 (3)
all
top 3
Main Field
- 90-XX (517)
- 68-XX (223)
- 05-XX (214)
- 03-XX (121)
- 65-XX (67)
- 52-XX (56)
- 74-XX (55)
- 06-XX (47)
- 35-XX (29)
- 62-XX (29)
- 94-XX (22)
- 91-XX (21)
- 49-XX (19)
- 51-XX (19)
- 26-XX (16)
- 45-XX (16)
- 92-XX (16)
- 53-XX (14)
- 54-XX (14)
- 60-XX (14)
- 12-XX (12)
- 20-XX (12)
- 16-XX (11)
- 30-XX (10)
- 13-XX (8)
- 14-XX (8)
- 31-XX (8)
- 00-XX (7)
- 15-XX (7)
- 18-XX (7)
- 57-XX (7)
- 01-XX (6)
- 28-XX (6)
- 46-XX (6)
- 81-XX (6)
- 11-XX (5)
- 37-XX (5)
- 39-XX (5)
- 55-XX (5)
- 08-XX (4)
- 34-XX (4)
- 41-XX (4)
- 93-XX (4)
- 58-XX (3)
- 78-XX (3)
- 82-XX (3)
- 97-XX (3)
- 32-XX (2)
- 47-XX (2)
- 76-XX (2)
- 80-XX (2)
- 83-XX (2)
- 33-XX (1)
- 40-XX (1)
- 44-XX (1)
- 70-XX (1)
- 86-XX (1)
Biographic Reference
- Dedekind, Richard (1)
- Eudoxus of Cnidus (1)
all
top 3
Software
- MIPLIB (33)
- CPLEX (31)
- MAXFLOW (22)
- SCIP (19)
- MIPLIB2003 (17)
- GrabCut (10)
- Mosek (8)
- BARON (7)
- Gurobi (7)
- COIN-OR (6)
- MINLPLib (6)
- OR-Library (6)
- Bonmin (5)
- GitHub (5)
- Knapsack (5)
- PORTA (5)
- ANTIGONE (4)
- BSDS (4)
- Concorde (4)
- GAMS (4)
- Ipopt (4)
- MINOTAUR (4)
- MINTO (4)
- VRP (4)
- Biq Mac (3)
- Cgllandp (3)
- DIMACS (3)
- Matlab (3)
- SDPT3 (3)
- SeDuMi (3)
- lifting (3)
- 2DCPackGen (2)
- ABACUS (2)
- ACCPM (2)
- Algorithm 457 (2)
- CLP (2)
- CSDP (2)
- CUDA (2)
- CVX (2)
- DLMF (2)
- FEASPUMP (2)
- GloMIQO (2)
- Graclus (2)
- LINDO (2)
- LOLIB (2)
- MESgenCov (2)
- MINOS (2)
- MULKNAP (2)
- Maple (2)
- PAGP (2)
- PRMLT (2)
- QUICKXPLAIN (2)
- SIFT (2)
- SNOPT (2)
- StoDCuP (2)
- TSPLIB (2)
- Tabu search (2)
- TensorFlow (2)
- UCI-ml (2)
- XMP (2)
- XPRESS (2)
- bc-opt (2)
- cdd (2)
- cliques (2)
- extended-MIQCP (2)
- filterSQP (2)
- infinite group relaxation (2)
- k-means++ (2)
- 2-ANTBAL (1)
- 2DPackLib (1)
- AIMMS (1)
- AMPL (1)
- Algorithm 447 (1)
- Algorithm 97 (1)
- AlphaECP (1)
- BARD (1)
- Benchmarks for Optimization Software (1)
- Bilevel (1)
- Bison (1)
- BranchCuts (1)
- CALMA (1)
- CAPD (1)
- CHIP (1)
- CMPLX (1)
- CMU-IBM (1)
- CP Optimizer (1)
- CRAIG (1)
- CSparse (1)
- CVRPSP (1)
- CaGe (1)
- Cbc (1)
- Cgl (1)
- Coq (1)
- DDSIP (1)
- DEAFrontier (1)
- DICOPT (1)
- DSP (1)
- Decision tree for optimization software (1)
- Decogo (1)
- Dynare (1)
- and 114 more Software Packages
