Results 1 to 20 of 468
Sort by:

  • JBool
  • Referenced in 103 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 25 articles [sw04657]
  • state systems with variables of integer, Boolean, function, and array types. There are two main...

  • DERIVE
  • Referenced in 65 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 20 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...

  • CGAL
  • Referenced in 355 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...

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

  • 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...

  • ToulBar2
  • Referenced in 22 articles [sw07289]
  • Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean...

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

  • CBEAM
  • Referenced in 2 articles [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...

  • 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...