• tawSolver

  • Referenced in 10 articles [sw10844]
  • van der Waerden numbers w(2;3,t). ... Especially we introduce a novel (open-source...
  • March_eq

  • Referenced in 12 articles [sw00548]
  • March_eq: Implementing additional reasoning into an efficient...
  • MiniSat

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

  • Referenced in 36 articles [sw02614]
  • UBCSAT: An implementation and experimentation environment for SLS...
  • PSATO

  • Referenced in 40 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • Chaff

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

  • Referenced in 11 articles [sw06997]
  • PaMiraXT: parallel SAT solving with threads and message...
  • PicoSAT

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

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

  • Referenced in 3479 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • Glucose

  • Referenced in 38 articles [sw07833]
  • The Glucose SAT Solver. Glucose is based on...
  • PMSat

  • Referenced in 4 articles [sw11454]
  • PMSat: A parallel version of MiniSAT. Parallel computing...
  • Syrup

  • Referenced in 5 articles [sw25919]
  • A distributed version of Syrup. A portfolio SAT...
  • OKlibrary

  • Referenced in 2 articles [sw28616]
  • The OKlibrary: A generative research platform for (generalised...