
Bloqqer
 Referenced in 28 articles
[sw09578]
 Blocked clause elimination for QBF. Quantified Boolean formulas (QBF) provide a powerful framework for encoding ... unique and may either introduce variables and clauses not relevant for the solving process ... preprocessing methods for QBF based on blocked clause elimination (BCE), a technique successfully applied ... Quantified blocked clause elimination (QBCE) allows to simulate various structural preprocessing techniques...

GlueMiniSat
 Referenced in 2 articles
[sw10047]
 solver based on literal blocks distance (LBD) proposed by Audemard and Simon which ... evaluation criteria to predict learnt clauses quality in CDCL solvers. The effectiveness...

Superposition Calculus
 Referenced in 3 articles
[sw28571]
 inspired by the basic superposition calculus: each clause is associated with a set of terms ... replacement rule on these terms is blocked. The set is initially empty and terms ... term occurring in the parent clauses at a position that is smaller (according to some...

PALISADE
 Referenced in 1 article
[sw37921]
 provides efficient implementations of lattice cryptography building blocks and leading homomorphic encryption schemes. PALISADE ... encryption. We offer PALISADE under the 2clause BSD opensource license, making it easier...

Beaver
 Referenced in 9 articles
[sw00071]
 Beaver: Engineering an efficient SMT solver for bit...

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

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

KANT/KASH
 Referenced in 155 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

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

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

R
 Referenced in 8601 articles
[sw00771]
 R is a language and environment for statistical...

SCIP
 Referenced in 472 articles
[sw01091]
 SCIP is currently one of the fastest non...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

Ada95
 Referenced in 289 articles
[sw01753]
 Ada is a structured, statically typed, imperative, wide...

SATLIB
 Referenced in 57 articles
[sw02107]
 SATLIB is a collection of benchmark problems, solvers...

CASL
 Referenced in 172 articles
[sw02235]
 The specification language developed by CoFI is called...

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

VAMPIRE
 Referenced in 239 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...