Eliminating variables in boolean equation systems
- B. Greve, H. Raddum, G. Fløystad, and Ø. Ytrehus, “Eliminating variables in boolean equation systems” 2nd International Workshop on Boolean Functions and their Applications(BFA), July 3–8, 2017
keyboard_arrow_up