Solving non-linear Boolean equation systems by variable elimination
- Authors
- B. Greve, Ø. Ytrehus, H. Raddum and G. Fløystad
- Status
- Published
- Publication type
- Journal Article
- Year of publication
- 2019
- Journal
- Applicable Algebra in Engineering, Communication and Computing
- Publisher
- Springer
- Citation key
- 15537