Login / Signup
Scalable Boolean Methods in a Modern Synthesis Flow.
Eleonora Testa
Luca G. Amarù
Mathias Soeken
Alan Mishchenko
Patrick Vuillod
Jiong Luo
Christopher Casares
Pierre-Emmanuel Gaillardon
Giovanni De Micheli
Published in:
DATE (2019)
Keyphrases
</>
significant improvement
data sets
empirical studies
lightweight
neural network
support vector
classification method
qualitative and quantitative