Solving non-linear Boolean equation systems by variable elimination
Crossref DOI link: https://doi.org/10.1007/s00200-019-00399-7
Published Online: 2019-08-17
Published Print: 2021-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Greve, Bjørn
Ytrehus, Øyvind
Raddum, Håvard
Fløystad, Gunnar
Text and Data Mining valid from 2019-08-17
Version of Record valid from 2019-08-17
Article History
Received: 21 October 2018
Revised: 12 March 2019
Accepted: 8 August 2019
First Online: 17 August 2019