×

Found 33 Software Packages (Results 1–33)

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: