• MiniSat

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

  • Referenced in 657 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • GraphBase

  • Referenced in 118 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • PETSc

  • Referenced in 1114 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • Siege

  • Referenced in 37 articles [sw04437]
  • The following x86-linux executables are available for...
  • Chaff

  • Referenced in 561 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...
  • PicoSAT

  • Referenced in 78 articles [sw07092]
  • PicoSAT essentials. We describe and evaluate optimized compact...
  • DIMACS

  • Referenced in 503 articles [sw08221]
  • The DIMACS Implementation Challenges address questions of determining...
  • Sparsity

  • Referenced in 13 articles [sw08686]
  • Sparsity: Optimization Framework for Sparse Matrix Kernels. Sparse...
  • FORCE

  • Referenced in 9 articles [sw09016]
  • FORCE: a fast and easy-to-implement variable...
  • PATRICIA

  • Referenced in 45 articles [sw17325]
  • PATRICIA — practical algorithm to retrieve information coded in...
  • JASPAR

  • Referenced in 39 articles [sw18502]
  • JASPAR: an open‐access database for eukaryotic transcription...
  • DiMEPACK

  • Referenced in 2 articles [sw21170]
  • DiMEPACK - A Cache-Optimal Multigrid Library. The efficient...