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},
}