
PlanMine
 Referenced in 9 articles
[sw01592]
 integrated into two realworld planning systems. We experimentally evaluate the rules discovered by PlanMine ... extremely useful for understanding and improving plans, as well as for building monitors that raise...

ADOLC
 Referenced in 247 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

Boolector
 Referenced in 28 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

CGAL
 Referenced in 381 articles
[sw00118]
 The goal of the CGAL Open Source Project...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 262 articles
[sw00509]
 In the core computer science areas  data structures...

LGO
 Referenced in 95 articles
[sw00516]
 The program system LGO serves to solve global...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6235 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NAG
 Referenced in 421 articles
[sw00610]
 Produced by experts for use in a variety...

Octave
 Referenced in 304 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

Paramils
 Referenced in 76 articles
[sw00678]
 Paramils: an automatic algorithm configuration framework. The identification...

PSPLIB
 Referenced in 267 articles
[sw00740]
 PSPLIB  a project scheduling problem library. We present...

R
 Referenced in 9188 articles
[sw00771]
 R is a language and environment for statistical...