How to cite PolyBoRi

We ask you to cite PolyBoRi for each scientific publication, that uses PolyBoRi. This helps us to receive funding for further development. Please use the following bibtex entry to cite PolyBoRi:

@article{Brickenstein20091326,
title =
 "PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials",
journal = "Journal of Symbolic Computation",
volume = "44",
number = "9",
pages = "1326 - 1345",
year = "2009",
note = "Effective Methods in Algebraic Geometry",
issn = "0747-7171",
doi = "DOI: 10.1016/j.jsc.2008.02.017",
url = "http://dx.doi.org/10.1016/j.jsc.2008.02.017",
author = "Michael Brickenstein and Alexander Dreyer",
keywords = "Boolean Gröbner basis",
keywords = "Formal verification",
keywords = "Algebraic cryptoanalysis",
keywords = "Satisfiability"
}
    

Please, also cite our used subsystems:

How to cite CUDD

@misc{ somenzi98cudd,
  author = "F. Somenzi",
  title = "CUDD: CU Decision Diagram Package Release",
  text = "F. Somenzi. CUDD: CU Decision Diagram Package Release 2.3.0. University
    of Colorado at Boulder, 1998.",
  year = "1998",
  OPTurl = "citeseer.ist.psu.edu/somenzi98cudd.html" }
    

How to cite M4RI

@manual{M4RI,
            key          = "M4RI",
            author       = "Martin Albrecht and Gregory Bard"
            organization = "The M4RI~Team",
            title        = "{The M4RI Library -- Version 20090409}",
            year         = 2009,
            url          = "\url{http://m4ri.sagemath.org}",
        }