
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 244 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 370 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

gmp
 Referenced in 274 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 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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

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

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

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

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

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

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

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