• Walksat

  • Referenced in 207 articles [sw04328]
  • GSAT and WalkSat are local search algorithms to...
  • MASS (R)

  • Referenced in 286 articles [sw04479]
  • R package MASS: Support Functions and Datasets for...
  • JML

  • Referenced in 188 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Armadillo

  • Referenced in 71 articles [sw05863]
  • Armadillo is a C++ linear algebra library (matrix...
  • Maude

  • Referenced in 660 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • SAS

  • Referenced in 1464 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • BPEL2PN

  • Referenced in 18 articles [sw06954]
  • BPEL2PN is a Java-based compiler that transforms...
  • robustbase

  • Referenced in 407 articles [sw07114]
  • R package robustbase: Basic Robust Statistics. ”Essential” Robust...
  • Sat4j

  • Referenced in 75 articles [sw07283]
  • The Sat4j library, release 2.2 system description. Sat4j...
  • RIEMANN

  • Referenced in 63 articles [sw09351]
  • Multidimensional HLLE Riemann solver: application to Euler and...
  • MathSAT

  • Referenced in 56 articles [sw09449]
  • The MathSAT 4 SMT Solver. We present MathSAT...
  • YASM

  • Referenced in 12 articles [sw09470]
  • Yasm: A Software Model-Checker for Verification and...
  • BMDP

  • Referenced in 123 articles [sw10524]
  • BMDP is a statistical package developed in 1965...
  • NLopt

  • Referenced in 86 articles [sw11789]
  • NLopt is a free/open-source library for nonlinear optimization...
  • ReALE

  • Referenced in 84 articles [sw18074]
  • ReALE: A reconnection-based arbitrary-Lagrangian–Eulerian method...
  • AO4BPEL

  • Referenced in 8 articles [sw33276]
  • AO4BPEL is an aspect-oriented extension to WS...