Propagation of Constraints Applied to Circuit Synthesis. Circuit Theory and Applications 8:127–144 (1980)

by J de Kleer, G J Sussman