Simulation-Guided Boolean Resubstitution.

Siang-Yun Lee Heinz Riener Alan Mishchenko Robert K. Brayton Giovanni De Micheli

Published in: CoRR (2020)

Keyphrases

simulation model
real valued
numerical simulations
e learning
boolean functions
database
databases
artificial intelligence
probabilistic model
complex systems
cross validation
simulation study
classification error
simulation environment