Simula Research Laboratory

Solving non-linear Boolean equation systems by variable elimination

Solving non-linear Boolean equation systems by variable elimination

Authors: B. Greve, Ø. Ytrehus, H. Raddum and G. Fløystad
Status: Published
Publication type: Journal Article
Year of publication: 2019
Journal: Applicable Algebra in Engineering, Communication and Computing
Publisher: Springer
URL: https://doi.org/10.1007/s00200-019-00399-7
DOI: 10.1007/s00200-019-00399-7
Citation key: 15537

Google Scholar BibTex