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

Circuits
 Referenced in 1 article
[sw38919]
 understanding of the circuit complexity of Boolean functions and vectorial Boolean functions; develop new techniques...

FourierSAT
 Referenced in 1 article
[sw40459]
 known as WalshFourier Transform) of Boolean functions, a technique to represent Boolean functions...

MathSAT5
 Referenced in 56 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...

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

libapn
 Referenced in 1 article
[sw30919]
 library developed to study vectorial Boolean functions including but not limited to APN functions...

BDD2Implement
 Referenced in 1 article
[sw30631]
 files encodes the controller dynamics as boolean functions. If the provided controller is not determinized...

ConfigChecker
 Referenced in 1 article
[sw28842]
 semantics of access control policies with Boolean functions using binary decision diagrams (BDDs). We then...

REVEAL
 Referenced in 28 articles
[sw36999]
 disease, we seek computational methods to maximize functional inference from such large data sets ... networks. Trajectories, or state transition tables of Boolean nets, resemble time series of gene expression...

CSIsat
 Referenced in 15 articles
[sw11407]
 rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency ... solver to reason about the boolean structure. We evaluate the efficiency of our tool...

Quantor
 Referenced in 22 articles
[sw28381]
 algorithm has not changed except for extracting functional dependencies as also used in SATeLite. Self ... SATeLite. Quantor is a solver for quantified boolean formulas (QBF) in the QDIMACS format. Checking...

Boolean_Expression_Checkers
 Referenced in 1 article
[sw38023]
 executable checkers for the following properties of boolean expressions: satisfiability, tautology and equivalence. Internally ... trees and are reasonably efficient (for purely functional algorithms...

TravMC2
 Referenced in 5 articles
[sw20008]
 functional programs, and HORS model checkers play a similar role to checkers of Boolean programs...

ff
 Referenced in 5 articles
[sw23393]
 large data on disk and fast access functions. The ff package provides data structures that ... integer’ and nonstandard atomic types boolean (1 bit), quad (2 bit unsigned), nibble ... TRUE, FALSE and NA. Beyond basic access functions, the ff package also provides compatibility functions ... as.ram, as.ff, ffapply). ff interfaces closely with functionality from package ’bit’: chunked looping, fast...

medrxivr
 Referenced in 1 article
[sw35505]
 using regular expressions and Boolean logic, as well as helper functions that allow users...

RGeostats
 Referenced in 7 articles
[sw14639]
 access a wide range of geostatistics usual functionalities. It is also a platform allowing ... develop prototypes for applying new models (examples: Boolean simulations, biplurigaussian simulations) or new methods...

featsel
 Referenced in 3 articles
[sw30677]
 functions. This framework allows the user to deal with the search space as a Boolean ... scripts to add new algorithms and/or cost functions, generate random instances, plot graphs and organize...

FOOL
 Referenced in 3 articles
[sw14287]
 sort. Boolean terms are indistinguishable from formulas and can appear as arguments to functions ... introduce a new technique of dealing with Boolean sorts in superpositionbased theorem provers. Finally...

jFuzzyIBATranslator
 Referenced in 4 articles
[sw22488]
 algebra (IBA) is realvalued realization of Boolean algebra, mostly used in performance measuring ... based on the principle of structural functionality. This principle focuses on the structure instead ... transform it to an analog Generalized Boolean Polynomial (GBP). All transformation steps are shown...

GLIMPSE
 Referenced in 9 articles
[sw23326]
 allows very flexible fulltext retrieval including Boolean queries, approximate matching (i.e., allowing misspelling ... file systems, while preserving most of its functionality and simplicity. Query times are typically slower...