A theory of formal synthesis via inductive learning
Graph-Based Algorithms for Boolean Function Manipulation