PBS: proven Boolean simplification.

Mark D. Aagaard Miriam Leeser

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)

Keyphrases

real valued
boolean functions
preprocessing
multiresolution
decision making
multi valued
boolean networks
search engine
three dimensional
reinforcement learning