
YalSAT
 Referenced in 25 articles
[sw31644]
 manner in parallel to the main cubeandconquer 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 subproblems, called cubes, which are then solved in parallel by incremental ... first fully integrated and automatic distributed cubeandconquer solver Paracooba targeting cluster and cloud...

CnC
 Referenced in 1 article
[sw33995]
 CubeandConquer SAT solver. This is a repository for CubeandCoquer 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 subformulas restricted by cubes. This page contains scatter plots, resources...

csat
 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 highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. 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...