• 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 2-clause BSD open-source 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 bit-vectors...
  • 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 SAT-solver. 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 general-purpose 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...