Bjørn Møller Greve, Øyvind Ytrehus, Håvard Raddum, Gunnar Fløystad. Solving non-linear Boolean equation systems by variable elimination. Appl. Algebra Eng. Commun. Comput., 32(1):3-47, 2021. [doi]
@article{GreveYRF21, title = {Solving non-linear Boolean equation systems by variable elimination}, author = {Bjørn Møller Greve and Øyvind Ytrehus and Håvard Raddum and Gunnar Fløystad}, year = {2021}, doi = {10.1007/s00200-019-00399-7}, url = {https://doi.org/10.1007/s00200-019-00399-7}, researchr = {https://researchr.org/publication/GreveYRF21}, cites = {0}, citedby = {0}, journal = {Appl. Algebra Eng. Commun. Comput.}, volume = {32}, number = {1}, pages = {3-47}, }