Exact and practical pattern matching for quantum circuit optimization

The complexity of theorem-proving procedures

Stephen A. Cook · 1971

Earlier work this paper cites.

An algorithm for subgraph isomorphism

J. R. Ullmann · 1976

Earlier work this paper cites.

A New Automatic Logic Interconnection Verification System for VLSI Design

T. Watanabe, Makoto Endo, and N. Miyahara · 1983

Earlier work this paper cites.

A Technology Independent Block Extraction Algorithm

F. Luellau, T. Hoepken, and E. Barke · 1984

Earlier work this paper cites.

LOGEX-an automatic logic extractor from transistor to gate level for CMOS technology

M. Boehner · 1988

Earlier work this paper cites.

SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm

M. Ohlrich, C. Ebeling, E. Ginting, and L. Sather · 1993

Earlier work this paper cites.

A fast quantum mechanical algorithm for database search

Lov K. Grover · 1996

Earlier work this paper cites.

Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer

Peter W. Shor · 1997

Earlier work this paper cites.

Quantum Computation and Quantum Information

Michael A. Nielsen and Isaac L. Chuang · 2000

Earlier work this paper cites.

Transformation rules for designing CNOT-based quantum circuits

K. Iwama, Y. Kambayashi, and S. Yamashita · 2002

Earlier work this paper cites.

Identity check is qma-complete

Dominik Janzing, Pawel Wocjan, and Thomas Beth · 2003

Cited alongside, same era.

Simplification of Toffoli networks via templates

D. Maslov, G. W. Dueck, and D. M. Miller · 2003

Cited alongside, same era.

A transformation based algorithm for reversible logic synthesis

D. M. Miller, D. Maslov, and G. W. Dueck · 2003

Cited alongside, same era.

Recognizing small-circuit structure in two-qubit operators

Vivek V. Shende, Stephen S. Bullock, and Igor L. Markov · 2004

Cited alongside, same era.

Synthesis of Fredkin-Toffoli reversible networks

D. Maslov, G. W. Dueck, and D. M. Miller · 2005

Cited alongside, same era.

Data structures and algorithms for simplifying reversible circuits

Aditya K. Prasad, Vivek V. Shende, Igor L. Markov, John P. Hayes, and Ketan N. Patel · 2006

Cited alongside, same era.

Exact template matching using Boolean satisfiability

N. Abdessaied, M. Soeken, R. Wille, and R. Drechsler · 2013

Later among the works it cites.

Optimization of Clifford Circuits

Vadym Kliuchnikov and Dmitri Maslov · 2013

Later among the works it cites.

An algorithm for quantum template matching

Md. Mazder Rahman, Gerhard W. Dueck, and Joseph D. Horton · 2014

Later among the works it cites.

Quantum circuits for isometries

Raban Iten, Roger Colbeck, Ivan Kukuljan, Jonathan Home, and Matthias Christandl · 2016

Later among the works it cites.

UniversalQCompiler: a quantum compiler from arbitrary isometries to elementary gates, 2018

Luca Mondada · 2018

Later among the works it cites.

Automated optimization of large quantum circuits with continuous parameters

Yunseong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs, and Dmitri Maslov · 2018

Later among the works it cites.