×

Found 13 Software Packages (Results 1–13)

OEIS

Cited in 4,951 Documents (1973–2024)
Software Authors: Sloane, Neil J. A.; The OEIS Foundation Inc.
Related Software: SageMath; GAP; DLMF; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); …

CUDD

Cited in 152 Documents (1997–2022)
Software Authors: Fabio Somenzi
Related Software: NuSMV; SPIN; MiniSat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …

Biq Mac

Cited in 94 Documents (2010–2022)
Software Authors: Rendl, Franz; Rinaldi, Giovanni; Wiegele, Angelika
Related Software: BiqMac; CPLEX; SDPT3; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX); …

BiqMac

Cited in 28 Documents (2010–2023)
Software Authors: Angelika Wiegele
Related Software: Biq Mac; Rudy; BiqCrunch; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); …

MOTGA

Cited in 19 Documents (2007–2022)
Software Authors: Alves, Maria Joao; Almeida, Marla
Related Software: SPEA2; MOEA/D; OR-Library; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX); …

LocalSolver

Cited in 18 Documents (2010–2023)
Software Authors: Benoist, Thierry; Estellon, Bertrand; Gardi, Frédéric; Megel, Romain; Nouioua, Karim
Related Software: COMET; CPLEX; SCIP; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

JCLEC

Cited in 2 Documents (2009–2015)
Software Authors: Sebastián Ventura, Cristóbal Romero, Amelia Zafra, José A. Delgado, César Hervás
Related Software: KEEL; UCI-ml; ECJ; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-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)

MIQCR-CB

Cited in 7 Documents (2016–2022)
Software Authors: Billionnet, Alain; Elloumi, Sourour; Lambert, Am'elie; Wiegele, Angelika
Related Software: CPLEX; ConicBundle; CSDP; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Operations research, mathematical programming (90-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)

GI-log

Cited in 3 Documents (2016–2020)
Software Authors: Zhang, Zhizheng; Wang, Bin; Zhang, Shutao
Related Software: selp; Clingo; Gringo; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SegAnnot

Cited in 0 Documents
Software Authors: T. D. Hocking; G. J. Rigaill
Related Software: isotone; PeakSeg; wbs; …
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field