Export 1 results:
Filters: Author is Greve, Bjørn  [Clear All Filters]
2019
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 (2019).