• JBool

  • Referenced in 89 articles [sw06185]
  • handling, editing and computing (on) Boolean Functions defined either by conjonctive normal forms (clausal ... disjonctive ones. Boolean Functions: Theory, Algorithms and Applications, Y. Crama and P.L. Hammer...
  • UCLID

  • Referenced in 23 articles [sw04657]
  • state systems with variables of integer, Boolean, function, and array types. There are two main...
  • DERIVE

  • Referenced in 60 articles [sw02964]
  • processes algebraic variables, expressions, equations, functions, vectors, matrices and Boolean expressions like a scientific calculator...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • well as pseudo-boolean objective functions and constraints. Its main features are: learning and backjumping...
  • HiTag2

  • Referenced in 9 articles [sw14133]
  • nonlinear filtering. It uses a Boolean function of 20 variables as its nonlinear filter ... layer composition of one 5-variable Boolean function and five 4-variable Boolean functions ... construction of the two-layer Boolean function in Hitag2. Then we study some general properties...
  • zeroin

  • Referenced in 18 articles [sw26438]
  • Finding a Zero of a Function: Algol 60 Boolean procedure zeroin, zeroinrat...
  • PULCinella

  • Referenced in 7 articles [sw29878]
  • moment, Pulcinella can propagate probabilities, belief functions, Boolean values, and possibilities. Moreover, Pulcinella allows...
  • ROBDD

  • Referenced in 4 articles [sw21204]
  • package. Efficient manipulation of Boolean functions is an important component of many computer-aided design ... paper describes a package for manipulating Boolean functions based on the reduced, ordered, binary decision...
  • SyReC

  • Referenced in 5 articles [sw23569]
  • approaches are available that rely on Boolean function representations, like e.g., truth tables or decision...
  • CGAL

  • Referenced in 309 articles [sw00118]
  • polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves and their applications ... offers geometric object generators and spatial sorting functions, as well as a matrix search framework...
  • VBF

  • Referenced in 2 articles [sw20673]
  • library of C++ classes for vector Boolean functions in cryptography. VBF is a collection ... classes designed for analyzing vector Boolean functions (functions that map a Boolean vector to another ... cryptography. The class representing a vector Boolean function can be initialized by several alternative types ... bricklayering (parallel application of vector Boolean functions as employed in Rijndael cipher), and adding coordinate...
  • BULL

  • Referenced in 2 articles [sw09912]
  • library for learning algorithms of Boolean functions. We present the tool BULL (Boolean function learning ... available implementation of learning algorithms for Boolean functions. The tool is implemented in C with ... Experimental results show significant advantages of Boolean function learning algorithms over all variants...
  • MetaPrime

  • Referenced in 4 articles [sw12542]
  • event trees because such trees denote Boolean functions on which these concepts can be applied...
  • HINT

  • Referenced in 3 articles [sw27284]
  • method is inspired by the Boolean function decomposition approach to the design of switching circuits...
  • jscl-meditor

  • Referenced in 2 articles [sw05526]
  • matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, Java code generation...
  • boolfun

  • Referenced in 1 article [sw20674]
  • package boolfun: Cryptographic Boolean Functions. This package can be used to assess cryptographic properties ... Boolean functions such as nonlinearity, algebraic immunity, resiliency, etc... It also implements functionality to handle...
  • FairplayMP

  • Referenced in 10 articles [sw11926]
  • system compiles the function into a description as a Boolean circuit, and perform a distributed...
  • CBEAM

  • Referenced in 1 article [sw15633]
  • Boxes. These novel functions have surprising properties; many exhibit inherent feeble (Boolean circuit) one-wayness ... single 5×1-bit Boolean function. This simple nonlinear function is used to construct...
  • VBFlib

  • Referenced in 1 article [sw20677]
  • VBFlib. VBF: Vector Boolean Functions Library: User Manual and Analysis of Cryptanalytic Algorithm...