
PolyBoRi
 Referenced in 48 articles
[sw00723]
 framework for Gröbnerbasis computations with Boolean polynomials. This work presents a new framework ... Gröbnerbasis computations with Boolean polynomials. Boolean polynomials can be modelled in a rather simple ... ring of Boolean polynomials is, however, not a polynomial ring, but rather the quotient ring ... introduce a specialised data structure for Boolean polynomials based on zerosuppressed binary decision diagrams...

OPBDP
 Referenced in 13 articles
[sw05036]
 Algorithm for LinearPseudoBoolean Optimization , 01 variables, objective and constraints polynomial(C++) A Davis...

jFuzzyIBATranslator
 Referenced in 4 articles
[sw22488]
 transform it to an analog Generalized Boolean Polynomial (GBP). All transformation steps are shown...

Spacer
 Referenced in 11 articles
[sw19496]
 quantifier elimination (QE). For Boolean programs, the algorithm is a polynomial decision procedure, matching...

3BA
 Referenced in 2 articles
[sw25685]
 clauses or solving a system of Boolean polynomials. On one hand, there exists a great ... platform that combines the power of the Boolean border basis algorithm (BBBA) with a CDCL...

boolfun
 Referenced in 1 article
[sw20674]
 also implements functionality to handle Boolean polynomials, namely multiplication and addition of multivariate polynomials with...

Jimena
 Referenced in 1 article
[sw29354]
 state identification for genetic regulatory networks. Background: Boolean networks capture switching behavior of many naturally ... necessary. The high degree polynomial interpolation of Boolean genetic regulatory networks (GRNs) in cellular processes ... Booleantreebased data structures; (ii) corresponding algorithms greatly expedite the calculation of the polynomial...

BooleanGB
 Referenced in 0 articles
[sw36745]
 BooleanGB  Groebner Bases for Ideals in Boolean Polynomial Quotient Ring...

FourierSAT
 Referenced in 1 article
[sw40459]
 functions, a technique to represent Boolean functions by multilinear polynomials. By such a reduction...

jsclmeditor
 Referenced in 2 articles
[sw05526]
 includes polynomial system solving, vectors and matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification...

ADAM
 Referenced in 8 articles
[sw21957]
 qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent ... converts several discrete model types automatically into polynomial dynamical systems and analyzes their dynamics using...

BASolver
 Referenced in 0 articles
[sw04144]
 acronym BASolver refers to our mixed booleanalgebraic approach. Namely, the objects of our proof ... rather than clauses; this allows to generate polynomialsize proofs for several families of verification...

multistatepdscontrol
 Referenced in 2 articles
[sw31987]
 some other model types, such as Boolean networks, where structurebased approaches have been developed ... multistate models based on encoding them as polynomial dynamical systems over a finite algebraic state...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 381 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CLIFFORD
 Referenced in 82 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...