Forward and Backward Constrained Bisimulations for Quantum Circuits.

Antonio Jiménez-Pastor Kim G. Larsen Mirco Tribastone Max Tschaikowski

Published in: TACAS (2) (2024)

Keyphrases

forward and backward
quantum computing
logic circuits
logic synthesis
dynamic programming
quantum inspired
high speed
quantum mechanics
low power
quantum computation
neural network
power consumption
greedy search
information retrieval
objective function