Chaff Software Authors: Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L. and Malik, S Cited in: 544 Publications (2001–2022) Related Software: MiniSat; BerkMin; SATO; Walksat; Siege; Velev SAT Benchmarks; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
SNOPT Software Authors: Gill, Philip E.; Murray, Walter; Saunders, Michael A. Cited in: 551 Publications (1997–2022) Related Software: Ipopt; KNITRO; AMPL; LANCELOT; MINOS; CUTEr; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
ILOG SCHEDULE Software Authors: Le Pape, C Cited in: 75 Publications (1996–2022) Related Software: CPLEX; CHIP; JOBSHOP; CP Optimizer; PSPLIB; Tabu search; … Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
MINION Software Authors: Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A. Cited in: 51 Publications (2005–2022) Related Software: GAP; OEIS; Gecode; Chaff; MiniZinc; CSPLib; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-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: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
OSQP Software Authors: Bartolomeo Stellato, Goran Banjac, Paul Goulart, Alberto Bemporad, Stephen Boyd Cited in: 29 Publications (2018–2023) Related Software: qpOASES; Mosek; SCS; CVXPY; Gurobi; ECOS; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
Benchmarks Software Authors: Ratschan, Stefan; She, Zhikun Cited in: 25 Publications (2005–2021) Related Software: RSOLVER; HSolver; HyTech; PHAVer; Sostools; QEPCAD; … Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)
cc(FD) Software Authors: Van Hentenryck, Pascal; Saraswat, Vijay; Deville, Yves Cited in: 17 Publications (1998–2021) Related Software: CPLEX; Choco; COMET; MINION; Oz; Gecode; … Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)
ICOS Software Authors: Lebbah, Y. Cited in: 16 Publications (2005–2021) Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
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: Geometry (51-XX); Numerical analysis (65-XX); Computer science (68-XX)
SBSAT Software Authors: Franco, John; Kouril, Michal; Schlipf, John; Ward, Jeffrey; Weaver, Sean; Dransfield, Michael; Vanfleet, W.Mark Cited in: 9 Publications (2004–2012) Related Software: FORCE; Chaff; BerkMin; zChaff; sharpSAT; MiniSat; … Main Fields: Computer science (68-XX)
BEE Software Authors: Metodi, Amit; Codish, Michael Cited in: 8 Publications (2012–2022) Related Software: Traces; nauty; MiniSat; OEIS; Glucose; GenerateUHG; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
FiberSCIP Software Authors: Y Shinano, S Heinz, S Vigerske, M Winkler Cited in: 7 Publications (2015–2018) Related Software: ParaSCIP; UG; SCIP; PEBBL; MIPLIB2003; SCIP-Jack; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
CS-Prolog Software Authors: Kawamura, Toshio; Ohwada, Hayato; Mizoguchi, Fumio Cited in: 7 Publications (1988–2002) Related Software: Prolog; CiaoPP; Ciao; PVM; SICStus; Linda Main Fields: Computer science (68-XX)
PROTOS-L Software Authors: Beierle, Christoph Cited in: 7 Publications (1990–1996) Related Software: Prolog Main Fields: Computer science (68-XX)
CaSPER Software Authors: Correia, M., Barahona, P., Azevedo, F. Cited in: 6 Publications (2007–2013) Related Software: MINION; Gecode; CSPLib; Choco; CPLEX; Cardinal; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
DCCP Software Authors: Xinyue Shen, Steven Diamond, Yuantao Gu, Stephen Boyd Cited in: 5 Publications (2017–2022) Related Software: CVXPY; Gurobi; JuMP; CVX; Matlab; EAGO.jl; … Main Fields: Ordinary differential equations (34-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)
MSS Software Authors: Jennifer B. Erway, Roummel F. Marcia Cited in: 6 Publications (1983–2019) Related Software: GQTPAR; Matlab; L-BFGS; HSL-VF05; SifDec; CUTEr; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
CFLP Software Authors: Marin, M., Ida, T., Schreiner, W. Cited in: 5 Publications (2001–2007) Related Software: SICStus; Mathematica; cc(FD); TOY; Oz; GULP; … Main Fields: Functions of a complex variable (30-XX); Difference and functional equations (39-XX); Computer science (68-XX)
Cadmium Software Authors: Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J. Cited in: 4 Publications (2008–2017) Related Software: MiniZinc; Gecode; G12; MiniSat; MINION; Sugar; … Main Fields: Computer science (68-XX)
Simbody Software Authors: Seth, Ajay; Sherman, Michael; Eastman, Peter; Delp, Scott Cited in: 2 Publications (2010–2015) Related Software: OpenSim; Puppeteer; Simox; RBDL; Matlab; Octave; … Main Fields: Mechanics of particles and systems (70-XX); Biology and other natural sciences (92-XX)
CertiStr Software Authors: Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader Cited in: 2 Publications (2022) Related Software: CVC4; SMTInterpol; veriT; SMTCoq; Lean; DRAT-trim; … Main Fields: Computer science (68-XX)
MiniCP Software Authors: Michel, L.; Schaus, P.; Van Hentenryck, P. Cited in: 2 Publications (2021) Related Software: OscaR; Choco; SeaPearl; MathOptInterface.jl; Knet; LightGraphs.jl; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
POOC Software Authors: Schlenker, Hans; Ringwelski, Georg Cited in: 2 Publications (2003–2005) Related Software: Java PathFinder; Rostra; JUnit; Korat; Bogor; JML; … Main Fields: Computer science (68-XX)
SMCHR Software Authors: Duck, Gregory J. Cited in: 2 Publications (2012–2018) Related Software: Smallfoot; CBMC; SLAyer; LLBMC; VeriFast; Predator Main Fields: Computer science (68-XX)
clpb Software Authors: Triska, Markus Cited in: 1 Publication (2016) Related Software: SWI-Prolog; SICStus; DIMACS; Prolog; SATO; Walksat; … Main Fields: Computer science (68-XX)
CompoSAT Software Authors: Porncharoenwase, Sorawee; Nelson, Tim; Krishnamurthi, Shriram Cited in: 1 Publication (2018) Related Software: WhyLine; VERMEER; Whispec; Bordeaux; cddiff; CD2Alloy; … Main Fields: Computer science (68-XX)
DEGEN Software Authors: Izmailov, A.F.; Solodov, M.V.; Uskov, E.I. Cited in: 1 Publication (2012) Related Software: MINOS; MacMPEC; ALGENCAN; Ipopt; filterSQP; SNOPT; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
gini Software Authors: Scott Cotton Cited in: 1 Publication (2020) Related Software: – Main Fields: Fluid mechanics (76-XX); Geophysics (86-XX)
Gmunu Software Authors: Cheong, Patrick Chi-Kit; Lin, Lap-Ming; Li, Tjonnie Guang Feng Cited in: 1 Publication (2020) Related Software: XNS; VAC; HLLE Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)
OpenMG Software Authors: Bertalan, Tom S.; Islam, Akand W.; Sidje, Roger B.; Carlson, Eric S. Cited in: 1 Publication (2014) Related Software: Python; PyAMG; NumPy; SciPy Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)
SiMoL Software Authors: Nica, Iulia; Wotawa, Franz Cited in: 0 Publications Related Software: MINION; Simulink; CAWICOMS; Matlab Main Fields: –
pyADCG Software Authors: Ivo Nowak; Norman Breitfeld Cited in: 0 Publications Related Software: – Main Fields: –