• Kodkod

  • Referenced in 24 articles [sw07090]
  • boolean expression diagrams and reduced boolean circuits. The presented techniques have been implemented and evaluated...
  • FairplayMP

  • Referenced in 11 articles [sw11926]
  • function into a description as a Boolean circuit, and perform a distributed evaluation...
  • ABsolver

  • Referenced in 10 articles [sw21360]
  • Boolean solver and ABcircuit - Arithmetic and Boolean circuit library. Our framework provides a single engine ... possibly solve all mixed arithmetic and Boolean problems using standard tools, such as zChaff...
  • ZKBoo

  • Referenced in 8 articles [sw28503]
  • Zero Knowledge Prover and Verifier for Boolean Circuits. Currently available is a prover and verifier...
  • QuteSAT

  • Referenced in 3 articles [sw11382]
  • circuit structure. We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that ... applied to complex circuit netlist structure. Several novel techniques are proposed in this paper, including ... scheme on general gate types for efficient Boolean Constraint Propagation (BCP), (2) an implicit implication ... most advanced SAT algorithms for the circuit-based data structure. Our experimental results show that...
  • CBEAM

  • Referenced in 2 articles [sw15633]
  • surprising properties; many exhibit inherent feeble (Boolean circuit) one-wayness and offer speed/area tradeoffs unobtainable ... based on a single 5×1-bit Boolean function. This simple nonlinear function is used...
  • multi2boolean

  • Referenced in 4 articles [sw25069]
  • circuit-preserving mapping from multilevel to Boolean dynamics. Many discrete models of biological networks rely ... development of conversion methods for multilevel to Boolean models. In particular, Van Ham’s method ... analysis of interaction between variables and circuit functionality, which is believed to be central ... Boolean counter-example to the well-known conjecture that a local negative circuit is necessary...
  • CircuitGraph

  • Referenced in 1 article [sw36266]
  • CircuitGraph: A Python package for Boolean circuits. CircuitGraph is a library for working with hardware...
  • SatELite

  • Referenced in 1 article [sw31322]
  • resulting from translation of netlists (combinational boolean circuits). With MiniSat as backend — the ”GTI” component...
  • SyReC

  • Referenced in 5 articles [sw23569]
  • particular, how to efficiently synthesize complex reversible circuits is an important question. So far, only ... synthesis approaches are available that rely on Boolean function representations, like e.g., truth tables ... specify and afterwards to automatically synthesize reversible circuits. Using an existing programming language for reversible...
  • PASSAT

  • Referenced in 3 articles [sw10074]
  • generation for industrial circuits. Automatic test pattern generation (ATPG) based on Boolean satisfiability ... tool PASSAT. Experimental results on large industrial circuits are given to demonstrate the quality...
  • HINT

  • Referenced in 3 articles [sw27284]
  • Boolean function decomposition approach to the design of switching circuits. To cope with high time...
  • Nenofex

  • Referenced in 18 articles [sw09579]
  • paper is Nenofex, a solver for quantified boolean formulae (QBF) in negation normal form ... approaches from the domain of circuit optimization have been integrated. Experimental results on latest benchmarks...
  • BoolVar/PB

  • Referenced in 2 articles [sw13579]
  • pseudo-Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients ... time-table design, planning, resource allocation, circuit diagnosis... The resulting CNF formula is satisfiable ... allows problems that are specified with pseudo-Boolean constraints to be solved using SAT solvers...
  • HQSpre

  • Referenced in 2 articles [sw28634]
  • first available preprocessor for dependency quantified Boolean formulas (DQBFs). The latter are a generalization ... back-ends, e. g., to preserve the circuit structure of the formula when...
  • 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...
  • cdd

  • Referenced in 110 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 631 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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