Neural net and boolean satisfiability models of logic circuits (1990)

by S Chakradhar, V Agrawal, M Bushnell, T Truong
Venue:IEEE Design and Test of Computers