Recognizing small-circuit structure in two-qubit operators and timing hamiltonians to compute controlled-not gates

Vivek V Shende , Stephen S Bullock , Igor L Markov
arXiv preprint quant-ph/0308045

6
2003
Partitioning With Terminals: A\New" Problem and New Benchmarks

Charles J Alpert , Andrew E Caldwell , Andrew B Kahng , Igor L Markov
ISPD-99

2
5
2013
Logic circuits testing for transient faults

Smita Krishnaswamy , Igor L Markov , John P Hayes
European Test Symposium (ETS'05) 102 -107

5
2005
Symmetries in rectangular block-packing

H Chan , Igor L Markov
Workshop notes of the 3rd international workshop on symmetry in constraint satisfaction problems (SymCon 2003)

5
2003
Minimal universal two-qubit cnot-based circuits

Vivek V Shende , Igor L Markov , Stephen S Bullock
arXiv preprint quant-ph/0308033

5
2003
On sub-optimality and scalability of logic synthesis tools

Igor L Markov , Jarrod A Roy
Proc. IWLS

5
2003
Physically-driven logic restructuring

David A. Papa , Igor L. Markov , David A Papa , Igor L Markov
Multi-Objective Optimization in Physical Synthesis of Integrated Circuits 83 -103

3
2013
Spinto: High-performance energy minimization in spin glasses

Hector J Garcia , Igor L Markov
design automation and test in europe 160 -165

2010
Quantum Information Processing

George F Viamontes , Igor L Markov , John P Hayes
Quantum Circuit Simulation 33 -46

3
2009
Bug Trace Minimization

Kai-hui Chang , Igor L Markov , Valeria Bertacco , Kai-hui Chang
Functional Design Errors in Digital Circuits: Diagnosis, Correction and Repair 77 -103

3
2009
On proof systems behind efficient SAT solvers

DB Motter , Igor L Markov
Proc. of 5th Int. Symp. on the Theory and Applications of Satisfiability Testing (SAT 2002) 206 -213

3
2002
Synthesis of optimal reversible logic circuits

Vivek V Shende , Aditya K Prasad , Igor L Markov , John P Hayes
Proc. IWLS

3
2002
Prioritizing Original News on Facebook.

Xiuyan Ni , Shujian Bu , Lucas Adams , Igor L Markov
arXiv: Social and Information Networks

2021
Approximate functional matching in electronic systems

Igor L Markov , Kenneth S McElvain

2
2016
Bounded transactional timing analysis

David A. Papa , Igor L. Markov , David A Papa , Igor L Markov
Multi-Objective Optimization in Physical Synthesis of Integrated Circuits 47 -63

2
2013
High-performance energy minimization with applications to adiabatic quantum computing

Hector J Garcia , Igor L Markov
arXiv preprint arXiv:0912.3912

2
2009
Improving QuIDD-based simulation

George F Viamontes , Igor L Markov , John P Hayes
Quantum Circuit Simulation 133 -152

2
2009