Modeling sequential circuits with shared structurally synthesized BDDs.

Raimund Ubar Mihhail Marenkov Dmitri Mironov Vladimir Viies

Published in: IDT (2014)

Keyphrases

heuristic search
modeling framework
database
neural network
information retrieval
artificial intelligence
reinforcement learning
normal form