• YalSAT

  • Referenced in 25 articles [sw31644]
  • manner in parallel to the main cube-and-conquer algorithm. In the SAT competition...
  • Paracooba

  • Referenced in 2 articles [sw41083]
  • Distributed cube and conquer with Paracooba. Cube and conquer is currently the most effective approach ... problem into many sub-problems, called cubes, which are then solved in parallel by incremental ... first fully integrated and automatic distributed cube-and-conquer solver Paracooba targeting cluster and cloud...
  • CnC

  • Referenced in 1 article [sw33995]
  • Cube-and-Conquer SAT solver. This is a repository for Cube-and-Coquer solvers with ... ahead solver as cube solver. The repository also includes two conquer solvers: iglucose (a modification...
  • AmPharoS

  • Referenced in 1 article [sw25921]
  • solver based on the divid and conquer paradigm. This solver, dedicated to work on plenty ... runs workers on sub-formulas restricted by cubes. This page contains scatter plots, resources...
  • c-sat

  • Referenced in 8 articles [sw00168]
  • Parallelizing modern SAT solvers for clusters such as...
  • GAP

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LAPACK

  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • ManySAT

  • Referenced in 40 articles [sw00544]
  • ManySAT: a parallel SAT solver. ManySAT, a new...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

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

  • Referenced in 417 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • PSATO

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

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

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • Trivium

  • Referenced in 79 articles [sw06150]
  • TRIVIUM is a hardware oriented synchronous stream cipher...
  • Chaff

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