
JBool
 Referenced in 110 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 36 articles
[sw09732]
 well as pseudoboolean objective functions and constraints. Its main features are: learning and backjumping...

HiTag2
 Referenced in 10 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 22 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...

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

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

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

CBEAM
 Referenced in 3 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...

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

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

ToulBar2
 Referenced in 22 articles
[sw07289]
 Function Networks, Markov Random Fields, Weighted Constraint Satisfaction Problems, Weighted MaxSAT, Quadratic PseudoBoolean...

LowRankModels
 Referenced in 32 articles
[sw27002]
 particular, it supports: using different loss functions for different columns of the data array, which ... when data types are heterogeneous (eg, real, boolean, and ordinal columns); fitting the model...

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