Bjørn Greve
External collaborator
Publications
Simula-affiliated publications listed
2019
Journal Articles
Read Solving non-linear Boolean equation systems by variable elimination
B. Greve, Ø. Ytrehus, H. Raddum and G. Fløystad
Solving non-linear Boolean equation systems by variable elimination
Applicable Algebra in Engineering, Communication and Computing