×

Found 106 Software Packages (Results 1–100)

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); …

simannf90

Cited in 117 Documents (1987–2019)
Software Authors: Corana, A.; Marchesi, M.; Martini, C.; Ridella, S.
Related Software: ASA; Global Optimization Toolbox For Maple; Matlab; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Bison

Cited in 43 Documents (1997–2023)
Software Authors: Scholl, A., Klein, R., Jürgens, C.
Related Software: OR-Library; CPLEX; Knapsack; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

APPSPACK

Cited in 34 Documents (2004–2023)
Software Authors: Genetha A. Gray; Tamara G. Kolda
Related Software: NOMAD; NEWUOA; CUTEr; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

GNMT

Cited in 25 Documents (2018–2022)
Software Authors: Yonghui Wu, Mike Schuster, Zhifeng Chen, Quoc V. Le, Mohammad Norouzi, Wolfgang Macherey, Maxim Krikun, Yuan Cao, Qin Gao, Klaus Macherey, Jeff Klingner, Apurva Shah, Melvin Johnson, Xiaobing Liu, Łukasz Kaiser, Stephan Gouws, Yoshikiyo Kato, Taku Kudo, Hideto Kazawa, Keith Stevens, George Kurian, Nishant Patil, Wei Wang, Cliff Young, Jason Smith, Jason Riesa, Alex Rudnick, Oriol Vinyals, Greg Corrado, Macduff Hughes, Jeffrey Dean
Related Software: ImageNet; Adam; AlexNet; …
Main Fields: Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

Darwin

Cited in 26 Documents (2005–2022)
Software Authors: Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli
Related Software: E-Darvin; TPTP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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); …

AMUSE

Cited in 24 Documents (2005–2021)
Software Authors: Oh Y, Mneimneh MN, Andraus ZS, Sakallah KA, Markov IL
Related Software: MUP; MiniSat; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LAS

Cited in 23 Documents (2009–2022)
Software Authors: Shabalin, Andrey A.; Weigman, Victor J.; Perou, Charles M.; Nobel, Andrew B.
Related Software: FABIA; PMA; COSA; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

WinGULF

Cited in 23 Documents (1999–2023)
Software Authors: Bajalinov, Erik B.
Related Software: MOLFP; BARON; MOILFP; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …

Leo-III

Cited in 20 Documents (2015–2023)
Software Authors: Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph
Related Software: Satallax; TPTP; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

ModLeanTAP

Cited in 19 Documents (1998–2019)
Software Authors: Beckert, Bernhard; Goré, Rajeev
Related Software: leanTAP; Coq; MSPASS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SATenstein

Cited in 17 Documents (2009–2022)
Software Authors: KhudaBukhsh, Ashiqur R.; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin
Related Software: Paramils; SMAC; irace; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

SSPMO

Cited in 18 Documents (2005–2022)
Software Authors: Molina, Julian; Laguna, Manuel; Marti, Rafael; Caballero, Rafael
Related Software: SPEA2; Scatter Search; SMS-EMOA; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

semprop

Cited in 16 Documents (2002–2021)
Software Authors: Letz, Reinhold
Related Software: Quaffle; Bloqqer; QUBOS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GeneRank

Cited in 16 Documents (2010–2020)
Software Authors: Julie L Morrison; Rainer Breitling; Desmond J Higham; David R Gilbert
Related Software: Matlab; moleculaRnetworks; testmatrix; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-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)

HARP

Cited in 14 Documents (1994–2020)
Software Authors: Oppacher, F.; Suen, E
Related Software: SETHEO; TPTP; 3TAP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

METEOR

Cited in 11 Documents (1991–2004)
Software Authors: O. L. Astrachan; D. W. Loveland
Related Software: SETHEO; OTTER; PARTHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

STAR

Cited in 15 Documents (2015–2023)
Software Authors: Alexander Dobin, Carrie A. Davis, Felix Schlesinger, Jorg Drenkow, Chris Zaleski, Sonali Jha, Philippe Batut, Mark Chaisson, Thomas R. Gingeras
Related Software: R; TopHat; edgeR; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistics (62-XX); …

TABARIS

Cited in 16 Documents (1990–2013)
Software Authors: Friden, C.; Hertz, A.; de Werra, Dominique
Related Software: Algorithm 457; Tabu search; DIMACS; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Algorithm 769

Cited in 15 Documents (1997–2016)
Software Authors: Pardalos, Panos M.; Pitsoulis, Leonidas; Resende, Mauricio G.C.
Related Software: QAPLIB; GRASP; GRASP_QAP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MleanCoP

Cited in 15 Documents (2014–2022)
Software Authors: Otten, Jens
Related Software: QMLTP; TPTP; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ts2pack

Cited in 14 Documents (2009–2021)
Software Authors: Crainic, Teodor Gabriel; Perboli, Guido; Tadei, Roberto
Related Software: Algorithm 864; Packlib2; 2DCPackGen; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)

LPG

Cited in 12 Documents (2003–2022)
Software Authors: Alfonso E. Gerevini , Alessandro Saetti, Ivan Serina, Mauro Vallati
Related Software: Graphplan; PDDL; Walksat; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)

TiGERS

Cited in 13 Documents (2000–2023)
Software Authors: Birkett Huber; Rekha Thomas
Related Software: Macaulay2; Gfan; Risa/Asir; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Computer science (68-XX); …

CLOVES

Cited in 12 Documents (2007–2021)
Software Authors: Ganesh, K.; Narendran, T.T.
Related Software: VRP; AlexNet; LBFGS-B; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TSpack

Cited in 12 Documents (2004–2022)
Software Authors: Lodi A, Martello S, Vigo D
Related Software: BPPLIB; TSPACK; OR-Library; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)

Algorithm 787

Cited in 10 Documents (1998–2014)
Software Authors: Resende, Mauricio G.C.; Feo, Thomas A.; Smith, Stuart H.
Related Software: DIMACS; Algorithm 797; QUALEX; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AutoAugment

Cited in 7 Documents (2021)
Software Authors: Ekin D. Cubuk, Barret Zoph, Dandelion Mane, Vijay Vasudevan, Quoc V. Le
Related Software: ImageNet; AlexNet; Adam; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX); …

JASP

Cited in 10 Documents (1997–2010)
Software Authors: Juan José Hernández, Sergio Navas
Related Software: Pnuts; Jasp; XploRe; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

WBMOAIS

Cited in 9 Documents (2010–2020)
Software Authors: Jiaquan Gao; Jun Wang
Related Software: AbYSS; SPEA2; jMetal; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX)

CoCo

Cited in 6 Documents (2002–2018)
Software Authors: Badsberg JH
Related Software: MIM; R; mclust; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

STAR

Cited in 9 Documents (2007–2018)
Software Authors: Olivier Delgrange, Eric Rivals
Related Software: T-REKS; IMEx; TROLL; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

DDFSA

Cited in 8 Documents (2004–2019)
Software Authors: Liuzzi, Giampaolo; Lucidi, Stefano; Piccialli, Veronica; Sotgiu, Antonello
Related Software: DFSA; LGO; Global Optimization Toolbox For Maple; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

DFSA

Cited in 8 Documents (2004–2019)
Software Authors: Liuzzi, Giampaolo; Lucidi, Stefano; Piccialli, Veronica; Sotgiu, Antonello
Related Software: DDFSA; LGO; Global Optimization Toolbox For Maple; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); …

ils-mwis

Cited in 8 Documents (2018–2021)
Software Authors: Nogueira, Bruno; Pinheiro, Rian G. S.; Subramanian, Anand
Related Software: gpuls-mwcp; CUDA; DIMACS; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KRIPKE

Cited in 8 Documents (1980–2005)
Software Authors: McRobbie, Michael A.; Thistlewaite, Paul B.; Meyer, Robert K.
Related Software: TABLEAUX; GLEFatinf
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

nanoCoP

Cited in 8 Documents (2016–2021)
Software Authors: Otten, J.
Related Software: leanCoP; ileanCoP; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RAIcode

Cited in 8 Documents (2009–2019)
Software Authors: Yehezkel, Raanan; Lerner, Boaz
Related Software: TETRAD; BNT; pcalg; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX); …

Z3str2

Cited in 7 Documents (2017–2023)
Software Authors: Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu
Related Software: Z3str3; HAMPI; CVC4; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

c2i

Cited in 6 Documents (2016–2022)
Software Authors: Sharma, Rahul; Aiken, Alex
Related Software: z3; Houdini; Spacer; …
Main Fields: Computer science (68-XX)

DPvis

Cited in 6 Documents (2005–2016)
Software Authors: Sinz, Carsten; Dieringer, Edda-Maria
Related Software: MiniSat; Chaff; SATGraf; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FIRBS

Cited in 7 Documents (2012–2022)
Software Authors: Pais, Tiago Cardal; Amaral, Paula
Related Software: final exam scheduling; MCS; Hyperheuristics; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Gplag

Cited in 4 Documents (2009–2018)
Software Authors: Liu, C.; Chen, C.; Han, J.; Yu, P. S.
Related Software: CCFinder; TALE; Pregel; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MILES

Cited in 7 Documents (1995–2021)
Software Authors: Thomas F. Rutherford
Related Software: PATH Solver; GAMS; MINOS; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

PANOW

Cited in 7 Documents (2008–2022)
Software Authors: Vergne, Nicolas; Abadi, Miguel
Related Software:
Main Fields: Dynamical systems and ergodic theory (37-XX); Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)

Tac

Cited in 7 Documents (2007–2012)
Software Authors: Baelde, David; Miller, Dale; Snow, Zachary
Related Software: Abella; Bedwyr; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

gpuls-mwcp

Cited in 6 Documents (2018–2022)
Software Authors: Nogueira, Bruno; Pinheiro, Rian G. S.
Related Software: ils-mwis; SCCWalk; CUDA; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MixMoGenD

Cited in 6 Documents (2009–2019)
Software Authors: Toussile, Wilson; Gassiat, Elisabeth
Related Software: STRUCTURE; R; mixsmsn; …
Main Fields: Convex and discrete geometry (52-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

MSO

Cited in 6 Documents (2016–2021)
Software Authors: Al-Dujaili, Abdullah; Suresh, S.; Sundararajan, N.
Related Software: MCS; LGO; minpack; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

StrSolve

Cited in 6 Documents (2014–2020)
Software Authors: Hooimeijer, P., Weimer, W.
Related Software: PASS; Gecode; MiniZinc; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Algorithm 797

Cited in 5 Documents (1999–2012)
Software Authors: Ribeiro, Celso C.; Resende, Mauricio G.C.
Related Software: Algorithm 787; GRASP; TTTPLOTS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

EVE-OPT

Cited in 5 Documents (2008–2015)
Software Authors: Perboli, Guido; Pezzella, Ferdinando; Tadei, Roberto
Related Software: VRP; OR-Library; Scatter Search; …
Main Fields: Operations research, mathematical programming (90-XX)

MIPTS

Cited in 5 Documents (2005–2010)
Software Authors: Pedroso, João Pedro
Related Software: Scatter Search; FEASPUMP; Knapsack; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX)

SAT Solver Verification

Cited in 5 Documents (2009–2018)
Software Authors: Filip Maric
Related Software: Archive Formal Proofs; Chaff; MiniSat; …
Main Fields: Computer science (68-XX)

SCCWalk

Cited in 5 Documents (2020–2022)
Software Authors: Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao
Related Software: gpuls-mwcp; CCLS; NuMVC; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Aglet

Cited in 3 Documents (2010–2017)
Software Authors: Morgenstern, Jamie; Licata, Daniel R.
Related Software: Laminar; Haskell; Ynot; …
Main Fields: Computer science (68-XX)

Cool

Cited in 3 Documents (2014–2018)
Software Authors: Gorín, Daniel; Pattinson, Dirk; Schröder, Lutz; Widmann, Florian; Wißmann, Thorsten
Related Software: LoTREC; leanK; E Theorem Prover; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

FEMOEA

Cited in 4 Documents (2015–2020)
Software Authors: Redondo, J.L.; Fernández, J.; Ortigosa, P.M.
Related Software: MOEA/D; AbYSS; SPEA2; …
Main Fields: Operations research, mathematical programming (90-XX)

GEPSO

Cited in 4 Documents (2021–2023)
Software Authors: Sedighizadeh, Davoud; Masehian, Ellips; Sedighizadeh, Mostafa; Akbaripour, Hossein
Related Software: GWO; MSMA; Blossom-Quad; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX); …

HIBITS

Cited in 4 Documents (2018–2020)
Software Authors: Gao, Xu; Shahbaba, Babak; Ombao, Hernando
Related Software: HINT; astsa; EEGLAB; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Algorithm 815

Cited in 3 Documents (2001–2016)
Software Authors: Festa, Paola; Pardalos, Panos M.; Resende, Mauricio G.C.
Related Software: GRASP; TTTPLOTS; Algorithm 769; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

DARWIN

Cited in 3 Documents (2001–2008)
Software Authors: Alvarez, A.; Orfila, A.; Tintore, J.
Related Software: Genocop; EMOO
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

MEALS

Cited in 3 Documents (2016–2021)
Software Authors: Calvete, Herminia I.; Galé, Carmen; Iranzo, José A.
Related Software: TSPLIB; irace
Main Fields: Operations research, mathematical programming (90-XX)

SATGraf

Cited in 3 Documents (2015–2016)
Software Authors: Newsham, Zack; Lindsay, William; Ganesh, Vijay; Liang, Jia Hui; Fischmeister, Sebastian; Czarnecki, Krzysztof
Related Software: MiniSat; DPvis; SMAC; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

AdversarialNAS

Cited in 0 Documents
Software Authors: Chen Gao, Yunpeng Chen, Si Liu, Zhenxiong Tan, Shuicheng Yan
Related Software: AutoGAN; Python; ShuffleNet; …
Main Fields:

BayGO

Cited in 0 Documents
Software Authors: R. Vencio, T. Koide, S. Gomes, CA Pereira
Related Software: GOPET; Gaggle; GOLEM; …
Main Fields:

Bunlsi

Cited in 2 Documents (1995–2001)
Software Authors: G. B. Ferraris; E. Tronconi
Related Software: DIFSUB; SENKIN; GEAR; …
Main Fields: Numerical analysis (65-XX); Classical thermodynamics, heat transfer (80-XX); Operations research, mathematical programming (90-XX)

Digit

Cited in 1 Document (2002)
Software Authors: Yada, T.; Takagi, T.; Totoki, Y.; Sakaki, Y.; Takaeda, Y.
Related Software: GeneWise; GlimmerHMM; MetaGeneAnnotator
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

DMR

Cited in 2 Documents (2015–2022)
Software Authors: Aleksandra Maj, Agnieszka Prochenka, Piotr Pokarowski
Related Software: CasANOVA; PDCO; OSCAR; …
Main Fields: Statistics (62-XX)

GenMin

Cited in 2 Documents (2008–2013)
Software Authors: Ioannis G. Tsoulos, I.E. Lagaris
Related Software: CMA-ES; Algorithm 829
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Graphulo

Cited in 1 Document (2019)
Software Authors: Vijay Gadepally, Jake Bolewski, Dan Hook, Dylan Hutchison, Ben Miller, Jeremy Kepner
Related Software: Accumulo; Julia; Matlab; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

GSPeeDI

Cited in 1 Document (2017)
Software Authors: Hansen, Hallstein Asheim; Schneider, Gerardo
Related Software: SPeeDI; ParaPlan; dReach; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)

HC-search

Cited in 2 Documents (2016–2021)
Software Authors: Doppa, J. R., Fern, A., Tadepalli, P.
Related Software: Scikit-multiflow; Scikit; HMMPayl
Main Fields: Statistics (62-XX); Computer science (68-XX)

InSyDE

Cited in 2 Documents (2019–2020)
Software Authors: Avellar, J.; Cardoso, M. S.; Duarte, L. G. S.; da Mota, L. A. C. P.
Related Software: FiOrDi; Maple
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

libbrkga

Cited in 2 Documents (2015–2019)
Software Authors: Silva, R.M.A.; Resende, M.G.C.; Pardalos, P.M.
Related Software: Autoconf; Python; Autotools; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX)

libcgrpp

Cited in 2 Documents (2013–2018)
Software Authors: Silva, R.M.A.; Resende, M.G.C.; Pardalos, P.M.; Hirsch, M.J.
Related Software: SimCList; BPPLIB; Bison; …
Main Fields: Operations research, mathematical programming (90-XX)

MEFISTO

Cited in 2 Documents (2009)
Software Authors: Cardeneo, Andreas; Heid, Werner; Radaschewski, Frank; Scheffermann, Robert; Spallek, Johannes
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

OptSAT

Cited in 2 Documents (2006–2013)
Software Authors: Giunchiglia, Enrico; Maratea, Marco
Related Software: PBS; MiniSat; MaxHS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PRESAS

Cited in 2 Documents (2020–2022)
Software Authors: Rien Quirynen, Stefano Di Cairano
Related Software: qpOASES; QPSchur; QPDAS; …
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

TAGster

Cited in 1 Document (2010)
Software Authors: Zongli Xu; Norman L. Kaplan; Jack A. Taylor
Related Software: Haploview
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

termstrc

Cited in 0 Documents
Software Authors: Robert Ferstl, Josef Hayden
Related Software: R; MATLAB Financial Toolbox; YUIMA; …
Main Fields:

WH-EA

Cited in 2 Documents (2018)
Software Authors: Zambrano, J.; Sanchis, J.; Herrero, J. M.; Mart\'{\i}nez, M.
Related Software: Matlab; Daisy; Wiener-Hammerstein Benchmark; …
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

ARJA

Cited in 0 Documents
Software Authors: Yuan Yuan; Wolfgang Banzhaf
Related Software: Codeflaws; Qlose; Angelix; …
Main Fields:

BayICE

Cited in 1 Document (2021)
Software Authors: Tai, An-Shun; Tseng, George C.; Hsieh, Wen-Ping
Related Software: dtangle; ISOpureR; BayCount; …
Main Fields: Statistics (62-XX)

DiffSat

Cited in 1 Document (2007)
Software Authors: Jing, Minge; Zhou, Dian; Tang, Pushan; Zhou, Xiaofang; Zhang, Hua
Related Software: SATO; MiniSat; BerkMin; …
Main Fields: Computer science (68-XX)

DisreteClimber

Cited in 1 Document (2018)
Software Authors: Bánhelyi, Balázs; Csendes, Tibor; Lévai, Balázs; Pál, László; Zombori, Dániel
Related Software: OPTI; Matlab; JSGL; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ERG-DE

Cited in 1 Document (2020)
Software Authors: Deng, Li-Bao; Zhang, Li-Li; Fu, Ning; Sun, Hai-li; Qiao, Li-Yan
Related Software: Tabu search
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

GLMSELECT

Cited in 1 Document (2016)
Software Authors: R. Cohen
Related Software: msABC; abc; ElemStatLearn; …
Main Fields: Statistics (62-XX)

Goeland

Cited in 1 Document (2022)
Software Authors: Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia
Related Software: HOT; Easychair; DISCOUNT; …
Main Fields: Computer science (68-XX)

LCAvarsel

Cited in 1 Document (2018)
Software Authors: Michael Fop, Thomas Brendan Murphy
Related Software: Python; clustMD; CoCo; …
Main Fields: Statistics (62-XX)

leanK

Cited in 1 Document (2018)
Software Authors: Bernhard Beckert; Rajeev Goré
Related Software: Cool; E Theorem Prover; Racer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MAPBOT

Cited in 1 Document (2002)
Software Authors: Li, Maozhen; Zhou, Sheng; Jones, Christopher B.
Related Software: Maplet
Main Fields: Computer science (68-XX)

PDoublePop

Cited in 1 Document (2016)
Software Authors: Tsoulos, Ioannis G.; Tzallas, Alexandros; Tsalikakis, Dimitris
Related Software: LAM-MPI; GALib
Main Fields: Numerical analysis (65-XX)

ProBO

Cited in 0 Documents
Software Authors: Willie Neiswanger, Kirthevasan Kandasamy, Barnabas Poczos, Jeff Schneider, Eric Xing
Related Software: Hyperband; DARTS; GPyOpt; …
Main Fields: Computer science (68-XX)

PyAutoFit

Cited in 0 Documents
Software Authors: James. W. Nightingale, Richard G. Hayes, Matthew Griffiths
Related Software: emcee; PyMultiNest; NumPy; …
Main Fields:

rocsvm.path

Cited in 1 Document (2020)
Software Authors: Seung Jun Shin, Do Hyun Kim
Related Software: R; CRAN
Main Fields: Statistics (62-XX)

SCRSELECT

Cited in 1 Document (2017)
Software Authors: Andrew Chapple
Related Software: SemiCompRisks; CRAN
Main Fields: Statistics (62-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field