• MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • Statool

  • Referenced in 9 articles [sw00914]
  • We present Statool, a software tool for obtaining...
  • L-BFGS-B

  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • CONOPT

  • Referenced in 171 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • ELECTRE

  • Referenced in 130 articles [sw02971]
  • Electre Methods. Over the last three decades a...
  • L-BFGS

  • Referenced in 852 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • LDPC

  • Referenced in 84 articles [sw03321]
  • Software for Low Density Parity Check Codes This...
  • deal.ii

  • Referenced in 650 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • Trilinos

  • Referenced in 412 articles [sw04028]
  • Each Trilinos package is a self-contained, independent...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • METIS

  • Referenced in 480 articles [sw04089]
  • METIS is a set of serial programs for...
  • Gurobi

  • Referenced in 727 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • SPSS

  • Referenced in 677 articles [sw04269]
  • SPSS is a computer program used for survey...
  • DOLFIN

  • Referenced in 203 articles [sw04313]
  • DOLFIN is a C++/Python library that functions...