search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization.

Shubham Rai Walter Lau Neto Yukio Miyasaka Xinpei Zhang Mingfei Yu Qingyang Yi Masahiro Fujita Guilherme B. Manske Matheus F. Pontes Leomar S. da Rosa Jr.Marilton S. de Aguiar Paulo F. Butzen Po-Chun Chien Yu-Shan Huang Hoa-Ren Wang Jie-Hong R. Jiang Jiaqi Gu Zheng Zhao Zixuan Jiang David Z. Pan Brunno A. Abreu Isac de Souza Campos Augusto Andre Souza Berndt Cristina Meinhardt Jonata T. Carvalho Mateus Grellert Sergio Bampi Aditya Lohana Akash Kumar Wei Zeng Azadeh Davoodi Rasit Onur Topaloglu Yuan Zhou Jordan Dotzel Yichi Zhang Hanyu Wang Zhiru Zhang Valerio Tenace Pierre-Emmanuel Gaillardon Alan Mishchenko Satrajit Chatterjee

Published in: CoRR (2020)

Keyphrases

logic synthesis
machine learning
inductive learning
multi valued
heuristic search
quantum computing
inductive logic programming
data mining
learning algorithm
knowledge acquisition
trading systems
real time
data analysis
database design
logic circuits