
HordeSat
 Referenced in 10 articles
[sw16712]
 simple yet successful approach to parallel satisfiability (SAT) solving is to run several different ... until one solver finds a solution. The SAT solvers in the portfolio can be instances ... applicable in the case of massively parallel SAT solving. Our solver is intended ... based SAT solver with a modular design that allows it to use any SAT solver...

PaMiraXT
 Referenced in 11 articles
[sw06997]
 PaMiraXT: parallel SAT solving with threads and message passing. This article describes PaMiraXT, a powerful ... used, which itself is threadbased parallel solver designed to take advantage of current ... well to other stateoftheart SAT algorithms. In singlethreaded mode, it outperforms ... MiraXT provides cutting edge performance, as it solves significantly more instances within the given time...

PaInleSS
 Referenced in 3 articles
[sw21967]
 Painless: a framework for parallel SAT solving. Over the last decade, parallel SAT solving ... numerous solvers that differ by parallelization strategies, programming languages, concurrent programming, involved libraries ... present PaInleSS: a framework to build parallel SAT solvers for manycore environments. Thanks ... provides the implementation of basics for parallel SAT solving like clause exchanges, portfolio and divide...

MPIDepQBF
 Referenced in 4 articles
[sw18671]
 SAT solving, we present a lightweight approach for solving quantified Boolean formulas (QBFs) in parallel...

ZetaSAT
 Referenced in 7 articles
[sw11459]
 research effort to enable efficient parallel Boolean satisfiability (SAT) solving on the Desktop Grid. ZetaSAT...

GrADSAT
 Referenced in 5 articles
[sw07282]
 present GrADSAT, a parallel satisfiability solver aimed at solving hard SAT instances using a large ... widely distributed commodity computational resources. The GrADSAT parallel algorithm uses intelligent backtracking, sharing of learned ... most instances. Furthermore it is capable of solving problem instance which were never solved before...

YalSAT
 Referenced in 13 articles
[sw31644]
 ProbSAT algorithm in our new local search SAT solver YalSAT, which confirmed its effectiveness ... local search solver was able to solve some of the easy structural formulas, we otherwise ... CDCL solvers, beside of course solving hard uniform random formulas. We continued to use YalSAT ... local search inprocessing phase in our parallel SAT solver Treengeling, which in turn uses...

aspeed
 Referenced in 11 articles
[sw27492]
 Testing (SAT) Competition. Inspired by this, we take advantage of the modeling and solving capacities ... swiftly adapt it to generate parallel schedules for multiprocessor machines...

SArTagnan
 Referenced in 2 articles
[sw11451]
 this paper we present the parallel SAT solver SArTagnan that allows for sharing clauses between ... improvements on the clause database to all solving threads. Despite the extensive sharing of data...

TACO
 Referenced in 6 articles
[sw07668]
 symmetrybreaking predicate that allows for the parallel, automated computation of tight bounds for Java ... magnitude, compared to the noninstrumented SATbased analysis. We show that, in some cases ... tools based on SATsolving, model checking or SMTsolving...

ManyOpt
 Referenced in 1 article
[sw18803]
 Mixed, NonLinear Optimization Through SMT Solving. Optimization of MixedInteger NonLinear Programming (MINLP ... solver. ManyOpt is similar to the SAT solver ManySAT in that it runs a specified ... number of such reduction techniques in parallel to get the strongest result on a given...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Boolector
 Referenced in 28 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

Coq
 Referenced in 1799 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 242 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2874 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Magma
 Referenced in 2917 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

ManySAT
 Referenced in 32 articles
[sw00544]
 ManySAT: a parallel SAT solver. ManySAT, a new...

Maple
 Referenced in 5082 articles
[sw00545]
 The result of over 30 years of cutting...