• 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 Walsh-Fourier 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 SAT-style 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 non-standard 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, bi-plurigaussian 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 superposition-based theorem provers. Finally...
  • jFuzzyIBATranslator

  • Referenced in 4 articles [sw22488]
  • algebra (IBA) is real-valued 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 full-text 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...