Introduction to Random Boolean Networks
Boolean Satisfiability (SAT) Algorithms
Bebop to the Boolean Boogie
Data Types, Operators (incl. Boolean ops) - seanho
Symbolic Logic, Boolean Algebra and the Design of Digital Systems
Symbolic Boolean Manipulation with Ordered Binary Decision ...
Isomorphism Testing of Boolean Functions Computable by Constant ...
Depth-based Local Search Heuristics for Boolean Circuit Satisfiability