SMT-Based Layout Synthesis Approaches for Quantum Circuits.

Zi-Hao Guo Ting-Chi Wang

Published in: ISPD (2024)

Keyphrases

logic synthesis
analog circuits
database
strengths and weaknesses
logic circuits
real world
search algorithm
machine learning algorithms
channel capacity