BOiLS: Bayesian Optimisation for Logic Synthesis.

Antoine Grosnit Cédric Malherbe Rasul Tutunov Xingchen Wan Jun Wang Haitham Bou-Ammar

Published in: CoRR (2021)

Keyphrases

logic synthesis
multi valued
quantum computing
heuristic search
genetic algorithm
real time
database
image sequences
inductive learning
logic circuits
image processing
database systems
expert systems
evolutionary algorithm
np hard
integrity constraints