Kunz - Reasoning in Boolean Networks Logic Synthesis and Verificatio - X555z

Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing

Probabilistic Boolean Networks: The Modeling and Control of Gene Regulatory ...

Logic Synthesis and Verification Algorithms

Brown - Boolean Reasoning The Logic of Boolean Equations - New paper - X555z

Ones and Zeros: Understanding Boolean Algebra, Digital Circuit...

Gulati - Advanced Techniques in Logic Synthesis Optimizations and App - X555z

Brown - Boolean Reasoning The Logic of Boolean Equations - New hardb - X555z