
JBool
 Referenced in 100 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 64 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 pseudoboolean 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 5variable Boolean function and five 4variable Boolean functions ... construction of the twolayer 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 computeraided design ... paper describes a package for manipulating Boolean functions based on the reduced, ordered, binary decision...

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

CBEAM
 Referenced in 2 articles
[sw15633]
 Boxes. These novel functions have surprising properties; many exhibit inherent feeble (Boolean circuit) onewayness ... single 5×1bit Boolean function. This simple nonlinear function is used to construct...

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

MathSAT5
 Referenced in 44 articles
[sw09569]
 theories and their combinations, and provides many functionalities (like e.g., unsat cores, interpolation, AllSMT). MathSAT5 ... floating point; third, sound SATstyle Boolean formula preprocessing for SMT formulae; finally, a framework...