Ipopt Software Authors: Andreas Waechter, Carl Laird Cited in: 818 Publications (2005–2023) Related Software: AMPL; SNOPT; CPLEX; Bonmin; SCIP; KNITRO; … Main Fields: –
SDPT3 Software Authors: Toh, K.C.; Todd, M.J.; Tütüncü, R.H. Cited in: 702 Publications (1986–2022) Related Software: SeDuMi; YALMIP; CVX; SDPA; CSDP; Mosek; … Main Fields: –
SCIP Software Authors: Tristan Gally, Gerald Gamrath, Patrick Gemander, Ambros Gleixner, Robert Gottwald, Gregor Hendel, Christopher Hojny, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Stefan Vigerske, Dieter Weninger, Jakob Witzig Cited in: 565 Publications (2005–2023) Related Software: CPLEX; MIPLIB; Gurobi; ANTIGONE; Ipopt; BARON; … Main Fields: (90C11-XX); (68T20-XX); (90C27-XX)
SNOPT Software Authors: Gill, Philip E.; Murray, Walter; Saunders, Michael A. Cited in: 554 Publications (1997–2023) Related Software: Ipopt; KNITRO; AMPL; LANCELOT; MINOS; CUTEr; … Main Fields: (90C55-XX); (90C06-XX); (65K05-XX)
BARON Software Authors: Sahinidis, Nikolaos V. Cited in: 378 Publications (1996–2023) Related Software: GAMS; CPLEX; SCIP; ANTIGONE; LINDO; Ipopt; … Main Fields: (90C30-XX); (65K05-XX); (90C20-XX)
CSDP Software Authors: Borchers, Brian Cited in: 204 Publications (1999–2022) Related Software: SeDuMi; SDPT3; SDPA; SDPLR; YALMIP; SDPLIB; … Main Fields: (90C22-XX); (65Y15-XX)
NPSOL Software Authors: P. E. Gill, W. Murray, M. A. Saunders, M. H. Wright Cited in: 144 Publications (1984–2019) Related Software: SNOPT; AMPL; OTIS; MINOS; Matlab; LANCELOT; … Main Fields: –
MINTO Software Authors: G.L. Nemhauser, M.W.P. Savelsbergh, G.S. Sigismondi Cited in: 137 Publications (1993–2022) Related Software: CPLEX; ABACUS; MIPLIB; SCIP; OSL; AMPL; … Main Fields: (90C57-XX); (90C11-XX); (90C27-XX)
FEASPUMP Software Authors: Fischetti, Matteo; Salvagnin, Domenico Cited in: 132 Publications (1979–2023) Related Software: CPLEX; MIPLIB; MIPLIB2003; SCIP; Bonmin; Ipopt; … Main Fields: (90C11-XX); (90C27-XX); (90C57-XX)
NLPQL Software Authors: Schittkowski Cited in: 133 Publications (1986–2022) Related Software: NPSOL; NLPQLP; LINGO; LINDO; SNOPT; QL; … Main Fields: –
Oz Software Authors: Henz, M., Smolka, G., and Würtz, J. Cited in: 109 Publications (1994–2022) Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; … Main Fields: –
MiniZinc Software Authors: Guido Tack, NICTA / Monash University (with Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace) Cited in: 109 Publications (2008–2023) Related Software: Gecode; CPLEX; Essence; CHUFFED; SCIP; Chaff; … Main Fields: –
clasp Software Authors: Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub Cited in: 98 Publications (2007–2022) Related Software: Gringo; Clingo; WASP; MiniSat; ASSAT; iClingo; … Main Fields: –
Gecode Software Authors: Christian Schulte, KTH Royal Institute of Technology Cited in: 81 Publications (2007–2023) Related Software: MiniZinc; CPLEX; Choco; COMET; SCIP; CSPLib; … Main Fields: –
ILOG SCHEDULE Software Authors: Le Pape, C Cited in: 79 Publications (1996–2022) Related Software: CPLEX; CHIP; JOBSHOP; CP Optimizer; PSPLIB; Tabu search; … Main Fields: –
CHIP Software Authors: Dincbas, M.; Simonis, H.; van Hentenryck, P. Cited in: 79 Publications (1989–2022) Related Software: Oz; ILOG SCHEDULE; CPLEX; PSPLIB; OPL; MiniZinc; … Main Fields: (68N15-XX); (68N20-XX)
COMET Software Authors: Michel, Laurent; See, Andrew; van Hentenryck, Pascal Cited in: 75 Publications (2004–2021) Related Software: CPLEX; Localizer; Gecode; SALSA; CSPLib; MiniZinc; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
Prolog Software Authors: Daniel Diaz Cited in: 57 Publications (1984–2020) Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; … Main Fields: (68N17-XX); (68N20-XX)
PROGRES Software Authors: Münch, Manfred; Schürr, Andy; Winter, Andreas J. Cited in: 50 Publications (1994–2020) Related Software: AGG; VIATRA2; Fujaba; SPIN; GXL; DIEGO; … Main Fields: (68U99-XX); (68N15-XX); (68Q42-XX)
SimpleMKL Software Authors: Rakotomamonjy, Alain; Bach, Francis R.; Canu, Stéphane; Grandvalet, Yves Cited in: 64 Publications (2008–2021) Related Software: SHOGUN; LIBSVM; UCI-ml; SpicyMKL; SIFT; Mosek; … Main Fields: (68T05-XX); (62J05-XX)
Quaffle Software Authors: L. Zhang; S. Malik; SAT Research Group, Princeton University; Yinlei Yu Cited in: 62 Publications (2003–2021) Related Software: Chaff; QUBOS; DepQBF; MiniSat; semprop; Bloqqer; … Main Fields: –
Choco Software Authors: Choco Team: http://www.emn.fr/z-info/choco-solver/index.php?page=Team Cited in: 61 Publications (2001–2022) Related Software: Gecode; CPLEX; CLAIRE; MINION; MiniZinc; CSPLib; … Main Fields: –
CFSQP Software Authors: Lawrence, C.; J. Zhou; A. Tits Cited in: 57 Publications (1996–2020) Related Software: SNOPT; CONOPT; Tabu search; Genocop; PROFIL/BIAS; INTOPT_90; … Main Fields: –
TOY Software Authors: F. J. López Fraguas, J. Sánchez Hernández Cited in: 56 Publications (2001–2022) Related Software: BABEL; PAKCS; Haskell; Curry; Kernel-LEAF; Maude; … Main Fields: –
Ciao Software Authors: Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-García, P., Puebla, G. Cited in: 52 Publications (1999–2022) Related Software: CiaoPP; SICStus; Mercury; XSB; ECCE; z3; … Main Fields: –
SWI-Prolog Software Authors: Wielemaker, J., Schrijvers, T., Triska, M., Lager, T. Cited in: 49 Publications (2001–2022) Related Software: SICStus; ProbLog; YAP-Prolog; B-Prolog; XSB; Aleph; … Main Fields: –
Elf Software Authors: Frank Pfenning Cited in: 47 Publications (1989–2023) Related Software: Nuprl; Twelf; Coq; Automath; Isabelle; Lolli; … Main Fields: –
Outward rotations Software Authors: Zwick, U. Cited in: 45 Publications (1999–2021) Related Software: CirCut; SeDuMi; SDPT3; COL; SDPLR; GloptiPoly; … Main Fields: –
Clingcon Software Authors: Martin Gebser; Max Ostrowski; Torsten Schaub Cited in: 39 Publications (2009–2022) Related Software: Clingo; clasp; Gringo; WASP; ezcsp; Potassco; … Main Fields: –
NLPQLP Software Authors: K Schittkowski Cited in: 40 Publications (2000–2020) Related Software: NLPQL; QL; MISER3; CUTEr; SNOPT; NBI; … Main Fields: –
TSPTW Software Authors: Focacci, Filippo; Lodi, Andrea; Milano, Michela Cited in: 39 Publications (2001–2022) Related Software: LKH; VRP; TSPLIB; ILOG SCHEDULE; SCIL; SCIP; … Main Fields: (68T20-XX)
OPL Software Authors: Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois Cited in: 37 Publications (2000–2023) Related Software: CHIP; SALSA; AMPL; CPLEX; Zinc; COMET; … Main Fields: (90C59-XX); (90C27-XX)
QSDPNAL Software Authors: Li, X.D., Sun, D.F., Toh. K.-C. Cited in: 33 Publications (2016–2022) Related Software: SDPNAL+; QSDP; Gurobi; CPLEX; Matlab; LIBSVM; … Main Fields: –
PARPAP Software Authors: Bertels, Stefan; Fahle, Torsten Cited in: 33 Publications (2006–2022) Related Software: VRP; XPRESS; Hyperheuristics; GRASP; VRPH; Gephi; … Main Fields: (90B90-XX); (90C90-XX); (90C27-XX)
Pueblo Software Authors: Sheini, Hossein M.; Sakallah, Karem A. Cited in: 33 Publications (1998–2021) Related Software: MiniSat; Chaff; Sat4j; PBS; PicoSAT; MaxSolver; … Main Fields: (68T20-XX); (68T05-XX)
ParaSCIP Software Authors: Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch Cited in: 30 Publications (2006–2022) Related Software: SCIP; UG; MIPLIB; CPLEX; MIPLIB2003; XPRESS; … Main Fields: –
QUICKXPLAIN Software Authors: Junker, U. Cited in: 31 Publications (2008–2022) Related Software: MiniSat; PicoSAT; Glucose; AMUSE; ELK; Pellet; … Main Fields: –
CC-Pi Software Authors: Maria Grazia Buscemi, Ugo Montanari Cited in: 28 Publications (2007–2022) Related Software: COWS; Isabelle/HOL; Nominal Isabelle; Scribble; PiDuce; Psi-calculi; … Main Fields: –
SALSA Software Authors: Laburthe, Francois; Caseau, Yves Cited in: 30 Publications (2000–2017) Related Software: COMET; Localizer; Oz; CPLEX; OPL; CLAIRE; … Main Fields: (68P10-XX)
LSSPER Software Authors: Palpant, Mireille; Artigues, Christian; Michelon, Philippe Cited in: 24 Publications (2004–2020) Related Software: PSPLIB; Scatter Search; PROGRESS; JOBSHOP; CSPLib; COMET; … Main Fields: (90B35-XX); (90C59-XX)
ARMC Software Authors: Andreas Podelski, Andrey Rybalchenko Cited in: 25 Publications (2007–2020) Related Software: SLAM; TRACER; Dagger; VeriMAP; z3; HSF; … Main Fields: –
OR-tools Software Authors: Google; Perron, L.; Furnon, V. Cited in: 26 Publications (2013–2022) Related Software: CPLEX; Gurobi; Gecode; MiniZinc; CHUFFED; GitHub; … Main Fields: –
Zinc Software Authors: Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark Cited in: 28 Publications (2005–2022) Related Software: Essence; MiniZinc; Gecode; AMPL; COMET; ESRA; … Main Fields: (68N15-XX)
Essence Software Authors: Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian Cited in: 26 Publications (2008–2023) Related Software: MiniZinc; Zinc; ESRA; Gecode; COMET; MINION; … Main Fields: (68N15-XX); (68T20-XX)
Visual MISER Software Authors: Yang, Feng; Teo, Kok Lay; Loxton, Ryan; Rehbock, Volker; Li, Bin; Yu, Changjun; Jennings, Leslie Cited in: 25 Publications (2016–2022) Related Software: MISER3; NLPQLP; Ipopt; Theta*; SOCS; ACADO; … Main Fields: (49M37-XX); (49M25-XX); (65K05-XX)
SDPEN Software Authors: G. Liuzzi, S. Lucidi, M. Sciandrone, K. Truemper Cited in: 23 Publications (2010–2022) Related Software: DFL; NOMAD; DFBOX_IMPR; SDBOX; DFLBOX; OrthoMADS; … Main Fields: (65K05-XX); (90C30-XX); (90C56-XX)
ToulBar2 Software Authors: Thomas Schiex; Simon de Givry; David Allouche Cited in: 23 Publications (2007–2022) Related Software: mplp2; NumberJack; MaxHS; MiniMaxSat; GitHub; Gecode; … Main Fields: –
JaCoP Software Authors: Krzysztof Kuchcinski; Radoslaw Szymanek Cited in: 16 Publications (2007–2023) Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; Sat4j; … Main Fields: –
Mozart Software Authors: Peter Van Roy; Seif Haridi Cited in: 15 Publications (1999–2018) Related Software: Oz; CPLEX; CHIP; SICStus; Choco; Haskell; … Main Fields: –
cc(FD) Software Authors: Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves Cited in: 18 Publications (1998–2022) Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
FULPAL Software Authors: H. Rommelfanger Cited in: 19 Publications (1990–2017) Related Software: PSPLIB; Genocop; RanGen; INFORM Main Fields: –
GASP Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Cited in: 17 Publications (2008–2021) Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; … Main Fields: (68N17-XX); (68T27-XX)
B-Prolog Software Authors: Afany Software Cited in: 16 Publications (2001–2018) Related Software: XSB; SICStus; YAP-Prolog; SWI-Prolog; Gecode; Prolog; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
SQOPT Software Authors: P.E. Gill, W. Murray, M.A. Saunders Cited in: 18 Publications (2003–2020) Related Software: SNOPT; CUTEst; qpOASES; QPA; PDCO; ZQPCVX; … Main Fields: –
MOIP_AIRA Software Authors: Ozlen, Melih; Burton, Benjamin A.; MacRae, Cameron A. G. Cited in: 17 Publications (2014–2022) Related Software: CPLEX; BENSOLVE; BOCBLP; MOEA/D; OR-Library; weightedHypervolume; … Main Fields: (90C29-XX); (90C10-XX)
OscaR Software Authors: OscaR Team Cited in: 16 Publications (2014–2021) Related Software: Gecode; OR-tools; MiniZinc; COMET; MiniCP; Choco; … Main Fields: –
CPGraph Software Authors: Deville, Y., Dooms, G., Zampelli, S., Dupont, P. Cited in: 16 Publications (2005–2022) Related Software: Cardinal; Gecode; Isabelle/HOL; Coq; sharpSAT; Lynx; … Main Fields: –
ICOS Software Authors: Lebbah, Y. Cited in: 16 Publications (2005–2021) Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; … Main Fields: (90C26-XX); (65G40-XX); (68T20-XX)
LocalSolver Software Authors: Benoist, Thierry; Estellon, Bertrand; Gardi, Frédéric; Megel, Romain; Nouioua, Karim Cited in: 16 Publications (2010–2019) Related Software: COMET; CPLEX; SCIP; Localizer; CSPLib; EasyLocal++; … Main Fields: (90C27-XX); (90C10-XX); (90C90-XX)
SO-I Software Authors: Müller, Juliane; Shoemaker, Christine A.; Piché, Robert Cited in: 15 Publications (2014–2022) Related Software: NOMAD; EGO; MLMSRBF; MISO; BFO; DFL; … Main Fields: (90C-XX)
CometBoards Software Authors: Gendy, A.S.; Patnaik, S.N.; Hopkins, D.A.; Berke, L. Cited in: 14 Publications (1996–2018) Related Software: e04ucf; nag; NAG; CONLIN; NLPQL; MHOST; … Main Fields: (74P99-XX); (74S30-XX); (90C30-XX)
FPROLOG Software Authors: Martin, T.P.; Baldwin, J.F.; Pilsworth, B.W. Cited in: 12 Publications (1985–2017) Related Software: FRIL; Ciao; DeLorean; Fuzzydl; FuzzyCLIPS; Prolog; … Main Fields: (68T15-XX); (68T99-XX); (68N01-XX)
HIBISCUS Software Authors: Bourdais, S., Galinier, P., Pesant, G. Cited in: 12 Publications (2005–2021) Related Software: CPLEX; Gurobi; Hyperheuristics; CHUFFED; OR-tools; Gecode; … Main Fields: –
HYPROLOG Software Authors: Christiansen, Henning; Dahl, Veronica Cited in: 14 Publications (2005–2012) Related Software: SCIFF; Smodels; PRISM; Binder; CHR; ACORDA; … Main Fields: (68N17-XX); (68N15-XX)
azove Software Authors: Behle, Markus Cited in: 13 Publications (2007–2021) Related Software: Matlab; PPL; PORTA; barvinok; lrs; LattE; … Main Fields: (68R10-XX); (90C10-XX); (90C27-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: (68N17-XX); (68T20-XX); (68T27-XX)
IBEX Software Authors: Chabert, G; Ninin, Jordan Cited in: 13 Publications (2009–2022) Related Software: Numerica; PROFIL/BIAS; filib++; IbexOpt; RealPaver; gaol; … Main Fields: –
sCASP Software Authors: Joaquin Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Cited in: 12 Publications (2018–2022) Related Software: Clingo; ezcsp; GASP; Clingcon; DLV-EX; FOLD-R++; … Main Fields: –
ESRA Software Authors: Flener, Pierre; Pearson, Justin; Ågren, Magnus Cited in: 11 Publications (2004–2022) Related Software: Essence; Zinc; NP-SPEC; AMPL; MiniZinc; Gecode; … Main Fields: (68N15-XX); (68N30-XX)
MathOptInterface.jl Software Authors: Benoit Legat, Oscar Dowson, Joaquim Dias Garcia, Miles Lubin Cited in: 10 Publications (2021–2023) Related Software: JuMP; Julia; Mosek; GLPK; SCS; Gurobi; … Main Fields: –
SparseCoLO Software Authors: K. Fujisawa, S. Kim, M. Kojima, Y. Okamoto, M. Yamashita Cited in: 12 Publications (2010–2021) Related Software: SeDuMi; SDPT3; SDPLIB; SparsePOP; SFSDP; SCS; … Main Fields: –
SUNNY Software Authors: Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo Cited in: 12 Publications (2014–2021) Related Software: SATzilla; MiniZinc; Proteus; sunny-cp; aspeed; SMAC; … Main Fields: (68T20-XX); (68N17-XX); (68T05-XX)
VSDP Software Authors: V. Härter; C. Jansson; M. Lange Cited in: 12 Publications (2009–2019) Related Software: Mosek; SeDuMi; YALMIP; SDPT3; SDPA; CSDP; … Main Fields: –
ATGen Software Authors: Christophe Meudec Cited in: 5 Publications (2005–2012) Related Software: Pex; Lutess; GATeL; QuickCheck; SWI-Prolog; jPET; … Main Fields: –
Cassowary Software Authors: Greg J. Badros, Alan Borning, Peter J. Stuckey Cited in: 9 Publications (2005–2018) Related Software: QOCA; HiRise; Skyblue; Matlab; linprog; MiniSat; … Main Fields: –
Helios Software Authors: Laurent Michel, Pascal Van Hentenryck Cited in: 10 Publications (1997–2015) Related Software: AMPL; Newton; FleetWave; Skyblue; Mozart; QOCA; … Main Fields: –
Juno-2 Software Authors: Allan Heydon; Greg Nelson Cited in: 11 Publications (1996–2004) Related Software: Skyblue; MMP/Geometer; MEDLAR; Genocop; ISOLATE; QEPCAD; … Main Fields: (68T15-XX); (68U05-XX)
LOUI Software Authors: J. Siekmann, S. Hess, C. Benzmüller, L. Cheikhrouhou, A. Fiedler, H. Horacek, M. Kohlhase, K. Konrad, A. Meier, E. Melis, M. Pollet, V. Sorge Cited in: 9 Publications (2002–2021) Related Software: TPTP; Coq; PVS; HOL; Omega-ANTS; Nuprl; … Main Fields: –
NAPHEAP Software Authors: Davis, Timothy A.; Hager, William W.; Hungerford, James T. Cited in: 11 Publications (2014–2022) Related Software: SPG; ALGENCAN; Knapsack; CSparse; symrcm; SparseMatrix; … Main Fields: (65K05-XX); (90C20-XX); (90C25-XX)
SIMPL Software Authors: Aron, Ionuţ; Hooker, John N.; Yunes, Tallys H. Cited in: 11 Publications (2004–2018) Related Software: SCIP; SCIL; MIPLIB; CPLEX; XPRESS; Mosel; … Main Fields: (68T20-XX); (90C27-XX)
VeriMAP Software Authors: De Angelis E, Fioravanti F, Pettorossi A, Proietti M Cited in: 10 Publications (2015–2021) Related Software: z3; SeaHorn; TRACER; ARMC; HSF; Datalog; … Main Fields: –
aspeed Software Authors: Hoos, Holger; Kaminski, Roland; Lindauer, Marius; Schaub, Torsten Cited in: 10 Publications (2012–2020) Related Software: SATzilla; SMAC; Paramils; SUNNY; MiniZinc; llama; … Main Fields: (68T20-XX); (68N17-XX)
Cardinal Software Authors: Azevedo, Francisco Cited in: 10 Publications (2007–2020) Related Software: CPGraph; Z/EVES; Isabelle/HOL; Coq; CSPLib; CPLEX; … Main Fields: (68T20-XX); (68N17-XX)
IDP3 Software Authors: Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco Cited in: 9 Publications (2015–2020) Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; … Main Fields: (68T20-XX); (68N17-XX); (68T05-XX)
PSICO Software Authors: Krippahl, Ludwig; Barahona, Pedro Cited in: 9 Publications (2002–2017) Related Software: COCONUT; GLOPTLAB; BARON; INTLAB; ICOS; InC++; … Main Fields: (68N19-XX)
RAMP Software Authors: Rego, César Cited in: 10 Publications (2005–2021) Related Software: Tabu search; Knapsack; Scatter Search; MENU-OKF; MOD-DIST; SITATION; … Main Fields: (90C59-XX); (90C27-XX)
SCIL Software Authors: Althaus, Ernst; Bockmayr, Alexander; Elf, Matthias; Jünger, Michael; Kasper, Thomas; Mehlhorn, Kurt Cited in: 9 Publications (2002–2018) Related Software: SCIP; SIMPL; MIPLIB; CPLEX; MiniZinc; TSPTW; … Main Fields: (90C10-XX); (90-04-XX); (90C27-XX)
STR2 Software Authors: Christophe Lecoutre Cited in: 10 Publications (2011–2018) Related Software: MiniZinc; Chaff; Concrete; GitHub; Scala; maxRPWC+; … Main Fields: –
FlatZinc Software Authors: Guido Tack, Sebastian Brand, Mark Brown, Thibaut Feydy, Julien Fischer, Maria Garcia de la Banda, Peter Stuckey, Mark Wallace Cited in: 9 Publications (2010–2020) Related Software: MiniZinc; SCIP; Gecode; GitHub; COMET; SIMPLY; … Main Fields: –
IPSep-CoLa Software Authors: Dwyer, T., Koren, Y., Marriott, K. Cited in: 7 Publications (2007–2016) Related Software: Dunnart; PyGtk; XGobi; Orca; Adaptagrams; rcola; … Main Fields: –
L2CXFT Software Authors: Demetriou, I.C. Cited in: 8 Publications (1995–2014) Related Software: FITPACK; ZQPCVX; CXFTV2; L2CXCV; TOLMIN; SAS; … Main Fields: (65D10-XX); (65Y15-XX); (65K05-XX)
LMNtal Software Authors: Ueda, Kazunori Cited in: 8 Publications (2005–2013) Related Software: GHC; Janus; tccp; Esterel; CC-Pi; Oz; … Main Fields: (68N17-XX); (68N15-XX)
MCS Software Authors: Le Huédé, F.; Grabisch, M.; Labreuche, C.; Savéant, P. Cited in: 9 Publications (1997–2017) Related Software: M-MACBETH; Tabu search; Hyperheuristics; FIRBS; Python; kappalab; … Main Fields: (90C29-XX); (90C27-XX)
miniKanren Software Authors: Daniel P. Friedman, William E. Byrd, Oleg Kiselyov Cited in: 9 Publications (2008–2022) Related Software: KANREN; Haskell; Dsharp; Hakaru; TOY; Mercury; … Main Fields: –
NumberJack Software Authors: Barry O'Sullivan; Eoin O'Mahony; Emmanuel Hebrard Cited in: 7 Publications (2013–2018) Related Software: MiniZinc; ToulBar2; SUNNY; SATzilla; Essence; Gecode; … Main Fields: –
PAGP Software Authors: Arthur, Jeffrey L.; Ravindran, A. Cited in: 9 Publications (1980–2011) Related Software: MIPLIB2003; MIPLIB; PariTOP; PGB Main Fields: (90C31-XX); (65K05-XX)
DCCP Software Authors: Xinyue Shen, Steven Diamond, Yuantao Gu, Stephen Boyd Cited in: 7 Publications (2017–2022) Related Software: CVXPY; Gurobi; Mosek; BARON; JuMP; CVX; … Main Fields: –
DiSCiPl Software Authors: – Cited in: 7 Publications (2007–2016) Related Software: COMET; Oz Explorer; VIFID/TRIFID; CHIP; CHUFFED; SATGraf; … Main Fields: –
FiberSCIP Software Authors: Y Shinano, S Heinz, S Vigerske, M Winkler Cited in: 7 Publications (2015–2018) Related Software: ParaSCIP; UG; SCIP; PEBBL; MIPLIB2003; GAMS; … Main Fields: –
JSetL Software Authors: Andrea Fois, Gianfranco Rossi, Elisabetta Poleo & others Cited in: 4 Publications (2009–2021) Related Software: Z; SETL; ProB; MiniZinc; Gecode; JaCoP; … Main Fields: –