MIPLIB Cited in 354 Documents (1994–2023) Software Authors: Achterberg, Tobias; Koch, Thorsten; Martin, Alexander Related Software: SCIP; MIPLIB2003; CPLEX; … Main Fields: Convex and discrete geometry (52-XX); Numerical analysis (65-XX); Computer science (68-XX); …
CUDD Cited in 154 Documents (1997–2022) Software Authors: Fabio Somenzi Related Software: NuSMV; SPIN; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
FEASPUMP Cited in 135 Documents (1979–2023) Software Authors: Fischetti, Matteo; Salvagnin, Domenico Related Software: MIPLIB; CPLEX; MIPLIB2003; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GRASP Cited in 133 Documents (1996–2023) Software Authors: Paola Festa; Resende, Mauricio G.C.; Pardalos, Panos M.; Li, Yong Related Software: Tabu search; PERL; TTTPLOTS; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …
MINLPLib Cited in 106 Documents (2002–2023) Software Authors: Bussieck, Michael R.; Drud, Arne Stolbjerg; Meeraus, Alexander Related Software: SCIP; Ipopt; BARON; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SoPlex Cited in 86 Documents (1996–2020) Software Authors: Roland Wunderling Related Software: SCIP; CPLEX; MIPLIB; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX); …
Couenne Cited in 77 Documents (2009–2023) Software Authors: Belotti, Pietro; Lee, Jon; Liberti, Leo; Margot, François; Wächter, Andreas Related Software: BARON; CPLEX; Bonmin; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX); …
FilMINT Cited in 53 Documents (2008–2022) Software Authors: Abhishek, Kumar; Leyffer, Sven; Linderoth, Jeff Related Software: Bonmin; Ipopt; MINLPLib; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
DFL Cited in 42 Documents (2012–2022) Software Authors: Liuzzi, G.; Lucidi, S.; Rinaldi, F. Related Software: DFN; NOMAD; DFLBOX; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …
ParaSCIP Cited in 32 Documents (2006–2023) Software Authors: Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch Related Software: SCIP; UG; MIPLIB; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX); …
Pueblo Cited in 33 Documents (1998–2021) Software Authors: Sheini, Hossein M.; Sakallah, Karem A. Related Software: MiniSat; Chaff; Sat4j; … Main Fields: Computer science (68-XX); Mechanics of deformable solids (74-XX); Operations research, mathematical programming (90-XX); …
SHOT Cited in 27 Documents (2016–2023) Software Authors: Kronqvist, Jan; Lundell, Andreas; Westerlund, Tapio Related Software: Ipopt; MINLPLib; Bonmin; … Main Fields: General and overarching topics; collections (00-XX); Convex and discrete geometry (52-XX); Statistics (62-XX); …
infinite group relaxation Cited in 25 Documents (2015–2022) Software Authors: Basu, Amitabh; Hildebrand, Robert; Köppe, Matthias Related Software: GitHub; cutgeneratingfunctionology; SageMath; … Main Fields: Approximations and expansions (41-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
VRPSolver Cited in 25 Documents (2019–2023) Software Authors: Pessoa, A., Sadykov, R., Uchoa, E., Vanderbeck, F. Related Software: VRP; JuMP; BaPCod; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
ToulBar2 Cited in 23 Documents (2007–2022) Software Authors: Thomas Schiex; Simon de Givry; David Allouche Related Software: mplp2; NumberJack; MaxHS; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
MIRPLib Cited in 21 Documents (2014–2023) Software Authors: Papageorgiou, Dimitri J.; Nemhauser, George L.; Sokol, Joel; Cheon, Myun-Seok; Keha, Ahmet B. Related Software: VRP; CPLEX; irace; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
QPLIB Cited in 20 Documents (2018–2023) Software Authors: Furini, Fabio; Traversi, Emiliano; Belotti, Pietro; Frangioni, Antonio; Gleixner, Ambros; Gould, Nick; Liberti, Leo; Lodi, Andrea; Misener, Ruth; Mittelmann, Hans; Sahinidis, Nikolaos V.; Vigerske, Stefan; Wiegele, Angelika Related Software: CPLEX; SCIP; Gurobi; … Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX); …
GRASP_QAP Cited in 16 Documents (1996–2012) Software Authors: Resende, Mauricio G.C.; Pardalos, Panos M.; Li, Yong Related Software: QAPLIB; Algorithm 769; TTTPLOTS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MOIP_AIRA Cited in 17 Documents (2014–2022) Software Authors: Ozlen, Melih; Burton, Benjamin A.; MacRae, Cameron A. G. Related Software: CPLEX; BENSOLVE; BOCBLP; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
DFLBOX Cited in 16 Documents (2012–2022) Software Authors: Liuzzi, G.; Lucidi, S.; Rinaldi, F. Related Software: DFL; DFLGEN; NOMAD; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
CHiPPS Cited in 15 Documents (2004–2022) Software Authors: Ralphs, T.K; COIN-OR; IBM Related Software: SCIP; BiCePS; ALPS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MISQP Cited in 14 Documents (2007–2022) Software Authors: O. Exler, T. Lehmann, K. Schittkowski Related Software: AlphaECP; QL; BARON; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
azove Cited in 13 Documents (2007–2021) Software Authors: Behle, Markus Related Software: Matlab; PPL; PORTA; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX); …
bc-opt Cited in 12 Documents (1999–2010) Software Authors: Cordier, Cécile; Marchand, Hugues; Laundy, Richard; Wolsey, Laurence A. Related Software: CPLEX; ABACUS; Concorde; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
BEAMR Cited in 12 Documents (2008–2020) Software Authors: Church, Richard L. Related Software: OR-Library; TSPLIB; SITATION; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
quadprogIP Cited in 11 Documents (2020–2022) Software Authors: Xia, Wei; Vera, Juan C.; Zuluaga, Luis F. Related Software: QuadProgBB; CPLEX; GitHub; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
DFLGEN Cited in 10 Documents (2015–2022) Software Authors: Liuzzi, Giampaolo; Lucidi, Stefano; Rinaldi, Francesco Related Software: DFLBOX; DFL; NOMAD; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
MSPPy Cited in 9 Documents (2020–2022) Software Authors: Ding L, Ahmed S, Shapiro A Related Software: SDDP; JuMP; Gurobi; … Main Fields: Operations research, mathematical programming (90-XX)
RBFOpt Cited in 10 Documents (2016–2023) Software Authors: Costa, Alberto; Nannicini, Giacomo Related Software: NOMAD; MISO; SO-I; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
BiCePS Cited in 9 Documents (2004–2020) Software Authors: Ralphs, T.K.; L'adanyi, L.; Saltzman, M.J. Related Software: ALPS; CHiPPS; BLIS; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
L0BnB Cited in 8 Documents (2020–2022) Software Authors: Hazimeh, Hussein; Mazumder, Rahul; Saab, Ali Related Software: L0Learn; sparsenet; Gurobi; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Computer science (68-XX); …
ORL Cited in 8 Documents (2018–2022) Software Authors: Rudin, Cynthia; Ertekin, Şeyda Related Software: UCI-ml; C4.5; shap; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
HybridILPMiner Cited in 7 Documents (2018–2021) Software Authors: van Zelst, S. J.; van Dongen, B. F.; van der Aalst, W. M. P.; Verbeek, H. M. W. Related Software: rbminer; XESame; RapidProM; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ParaLEX Cited in 6 Documents (2018–2022) Software Authors: Shinano, Yuji; Fujie, Tetsuya Related Software: CPLEX; ParaSCIP; SCIP; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
bilevel Cited in 6 Documents (2018–2023) Software Authors: Pineda, S.; Bylling, H.; Morales, J. M. Related Software: CPLEX; Gurobi; SAC94; … Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
xQx Cited in 6 Documents (2009–2022) Software Authors: Lewis, Mark; Alidaee, Bahram; Glover, Fred; Kochenberger, Gary Related Software: Scatter Search; LOLIB; GraphBase; … Main Fields: Operations research, mathematical programming (90-XX)
lifting Cited in 5 Documents (2018–2021) Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Related Software: MIPLIB; onerow; CPLEX; … Main Fields: Operations research, mathematical programming (90-XX)
mkc7 Cited in 4 Documents (2006–2022) Software Authors: Forrest, John J.H.; Kalagnanam, Jayant; Ladanyi, Laszlo Related Software: MIPLIB; Knapsack; UG; … Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
VIPR Cited in 4 Documents (2017–2023) Software Authors: Kevin K.H. Cheung, Ambros Gleixner, Daniel E. Steffy Related Software: SCIP; DRAT-trim; MIPLIB; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
GenPSAT Cited in 4 Documents (2017–2020) Software Authors: Caleiro, Carlos; Casal, Filipe; Mordido, Andreia Related Software: Gurobi; BRECCIA; BLOG; … Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX); …
MIN REVORDER Cited in 4 Documents (2020–2022) Software Authors: Omer, Jérémy; Mucherino, Antonio Related Software: MinDouble; AMON; MD-jeep Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)
MISQPN Cited in 4 Documents (2012–2021) Software Authors: Exler, Oliver; Lehmann, Thomas; Schittkowski, Klaus Related Software: MINLPLib; MISQP; Bonmin; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
stprbh Cited in 4 Documents (2016–2022) Software Authors: Sinnl, Markus; Ljubić, Ivana Related Software: Boost; Boost C++ Libraries; TSPLIB; … Main Fields: Operations research, mathematical programming (90-XX)
BetaSCP Cited in 3 Documents (2013–2017) Software Authors: Ryu, Joonghyun; Kim, Deok-Soo Related Software: TM-align; ARIA; CANDID; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
Monopoly Cited in 3 Documents (2018–2021) Software Authors: Moazzez, Babak; Soltani, Hossein Related Software: CLP; PORTA; Cbc; … Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)
PML Cited in 3 Documents (2019–2021) Software Authors: Pavlichin, Dmitri S.; Jiao, Jiantao; Weissman, Tsachy Related Software: GitHub; OEIS Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); …
relaxation_complexity Cited in 3 Documents (2021–2023) Software Authors: Averkov, Gennadiy; Hojny, Christopher; Schymura, Matthias Related Software: SCIP; bliss; cddplus; … Main Fields: Convex and discrete geometry (52-XX); Operations research, mathematical programming (90-XX)
sccf Cited in 3 Documents (2020–2023) Software Authors: Barratt, Shane; Angeris, Guillermo; Boyd, Stephen Related Software: L-BFGS Main Fields: Real functions (26-XX); Operations research, mathematical programming (90-XX)
CyLP Cited in 2 Documents (2016–2021) Software Authors: Towhidi, Mehdi; Orban, Dominique Related Software: CPLEX; cyipopt; PyLPSolve; … Main Fields: Operations research, mathematical programming (90-XX)
EIA-CNDP Cited in 2 Documents (2021–2022) Software Authors: Rezaei, Javad; Zare-Mirakabad, Fatemeh; MirHassani, Seyed Ali; Marashi, Sayed-Amir Related Software: SparseMatrix Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
MinDouble Cited in 2 Documents (2020–2022) Software Authors: Omer, Jérémy; Gonçalves, Douglas S. Related Software: MIN REVORDER; MD-jeep Main Fields: Operations research, mathematical programming (90-XX)
onerow Cited in 2 Documents (2018–2019) Software Authors: Fukasawa, Ricardo; Poirrier, Laurent; Xavier, Álinson S. Related Software: lifting; MIPLIB; infinite group relaxation; … Main Fields: Operations research, mathematical programming (90-XX)
polyominoes Cited in 2 Documents (2020–2023) Software Authors: Garvie, Marcus; Burkardt, John Related Software: OEIS; Matlab; CPLEX; … Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Operations research, mathematical programming (90-XX)
Adaptive-Cutsel-MILP Cited in 1 Document (2023) Software Authors: Turner, Mark; Koch, Thorsten; Serrano, Felipe; Winkler, Michael Related Software: SMAC3; MIPLIB; SCIP; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
AUCSCHED Cited in 1 Document (2015) Software Authors: Soner, Seren; Özturan, Can Related Software: Sun Grid Engine; Slurm; IPSCHED Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
AUTOPACK Cited in 1 Document (2008) Software Authors: Kocjan, Waldemar; Holmstr\"{o}m, Kenneth Related Software: – Main Fields: Probability theory and stochastic processes (60-XX); Optics, electromagnetic theory (78-XX)
charge_assign Cited in 1 Document (2018) Software Authors: Engler, Martin S.; Caron, Bertrand; Veen, Lourens; Geerke, Daan P.; Mark, Alan E.; Klau, Gunnar W. Related Software: ZINC; ATB; COIN-OR Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
ChvatalIP Cited in 1 Document (2022) Software Authors: Eifler, Leon; Gleixner, Ambros; Pulaj, Jonad Related Software: DRAT-trim; PPL; SCIP; … Main Fields: Numerical analysis (65-XX)
Eternity Cited in 1 Document (2023) Software Authors: Burkardt, John; Garvie, Marcus R. Related Software: OEIS; Gurobi; CPLEX; … Main Fields: Computer science (68-XX)
Exact SCIP Cited in 1 Document (2023) Software Authors: Eifler, L., Gleixner, A. Related Software: Concorde; gmp; GitHub; … Main Fields: Operations research, mathematical programming (90-XX)
HardTSPLIB Cited in 1 Document (2023) Software Authors: Vercesi, Eleonora; Gualandi, Stefano; Mastrolilli, Monaldo; Gambardella, Luca Maria Related Software: LKH; Concorde; TSPLIB Main Fields: Operations research, mathematical programming (90-XX)
IPSCHED Cited in 1 Document (2015) Software Authors: Soner, Seren; Özturan, Can Related Software: Sun Grid Engine; Slurm; AUCSCHED Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
knights-and-liars Cited in 1 Document (2021) Software Authors: Tabatabai, Paul; Gruber, Dieter P. Related Software: GitHub; OEIS; COIN-OR; … Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Computer science (68-XX); …
MABS Cited in 1 Document (2006) Software Authors: De Reyck, Bert; Degraeve, Zeger Related Software: LINDO; Excel; LINGO Main Fields: Operations research, mathematical programming (90-XX)
MAGECAA Cited in 1 Document (2018) Software Authors: Yu, Xuefei; Lin, Liangzhuo; Shen, Jie; Chen, Zhi; Jian, Jun; Li, Bin; Xin, Sherman Xuegang Related Software: GlyCulator; BARON Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
ManyOpt Cited in 0 Documents Software Authors: Andrea Callia D'Iddio, Michael Huth Related Software: MathSAT; OSiL; BARON; … Main Fields: –
MFD-ILP Cited in 1 Document (2022) Software Authors: Dias, Fernando H. C.; Williams, Lucia; Mumey, Brendan; Tomescu, Alexandru I. Related Software: HISAT; Salmon; Gurobi; … Main Fields: Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
MIQPBB Cited in 1 Document (2001) Software Authors: None Related Software: filterSQP; LANCELOT Main Fields: Operations research, mathematical programming (90-XX)
MOPP Cited in 1 Document (1989) Software Authors: Lázaro, M.; Espuña, A.; Puigjaner, L. Related Software: – Main Fields: Operations research, mathematical programming (90-XX)
PCGTSPLIB Cited in 1 Document (2023) Software Authors: Khachai, Daniil; Sadykov, Ruslan; Battaia, Olga; Khachay, Michael Related Software: – Main Fields: Operations research, mathematical programming (90-XX)
Restrict-And-Fix Cited in 1 Document (2023) Software Authors: Joncour, C.; Kritter, J.; Michel, S.; Schepler, X. Related Software: BPPLIB; POPMUSIC; Octane; … Main Fields: Operations research, mathematical programming (90-XX)
RPLIB Cited in 1 Document (2023) Software Authors: Anderson, Paul E.; Langville, Amy N.; Pedings-Behling, Kathryn E.; Tat, Brandon; Ward, Charlie Related Software: ImageNet; LOLIB; TSPLIB Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
StableTBN Cited in 1 Document (2021) Software Authors: Haley, David; Doty, David Related Software: OR-tools; z3; 4ti2; … Main Fields: Computer science (68-XX)
subadditive Cited in 1 Document (2023) Software Authors: Chételat, Didier; Lodi, Andrea Related Software: PyTorch; Ecole; Gurobi; … Main Fields: Operations research, mathematical programming (90-XX)