Login / Signup
Neural Net and Boolean Satisfiability Models of Logic Circuits.
Srimat T. Chakradhar
Vishwani D. Agrawal
Michael L. Bushnell
Thomas K. Truong
Published in:
IEEE Des. Test Comput. (1990)
Keyphrases
</>
neural nets
feed forward
boolean satisfiability
logic circuits
neural network
learning tasks
dynamic programming
artificial neural networks
active learning
upper bound
low cost
branch and bound algorithm
low power
linear constraints