Inspec keywords: quantum computing; logic circuits; data structures; logic design; graph theory; Boolean functions; logic gates

Other keywords: graph-based IR; MIG-based graph data structure; binary decision diagram; quantum technologies; reversible logic synthesis; reversible circuit synthesis; intermediate representations; Boolean function synthesis; circuit abstraction; and-inverter graph; AIG-based graph data structure; reversible circuit design; truth table; majority inverter graph; cost parameters; functional abstraction

Subjects: Quantum computing techniques; Logic and switching circuits; Algebra; Combinatorial mathematics; Digital circuit design, modelling and testing; Algebra; Logic elements; Logic design methods; Logic circuits; File organisation; Combinatorial mathematics