Boolean Frame

Boolean Retrieval

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