• PolyBoRi

  • Referenced in 48 articles [sw00723]
  • framework for Gröbner-basis computations with Boolean polynomials. This work presents a new framework ... Gröbner-basis 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 zero-suppressed binary decision diagrams...
  • OPBDP

  • Referenced in 13 articles [sw05036]
  • Algorithm for LinearPseudo-Boolean Optimization , 0-1 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 ... Boolean-tree-based 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...
  • jscl-meditor

  • 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 boolean-algebraic approach. Namely, the objects of our proof ... rather than clauses; this allows to generate polynomial-size proofs for several families of verification...
  • multistatepdscontrol

  • Referenced in 2 articles [sw31987]
  • some other model types, such as Boolean networks, where structure-based 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...