A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates
- Atsushi Matsuo
- Shigeru Yamashita
- et al.
- 2023
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Publications
10 results at IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
An Efficient Method to Decompose and Map MPMCT Gates That Accounts for Qubit Placement
- Atsushi Matsuo
- Wakaki Hattori
- et al.
- 2023
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Zero-knowledge and correlation intractability
- Satoshi Hada
- Toshiaki Tanaka
- 2006
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Simultaneous adaptation of echo cancellation and spectral subtraction for in-car speech recognition
- Osamu Ichikawa
- Masafumi Nishimura
- 2005
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Formal Treatment of Non-repudiation Protocols
- Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity
- Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Constructing the Suffix Tree of a Tree with a Large Alphabet
- Tetsuo Shibuya
- 2003
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Adaptive blind source separation using a risk-sensitive criterion
- Junya Shimizu
- 2003
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Interval finding and its application to data mining
- Takeshi Fukuda
- Yasuhiko Morimoto
- et al.
- 1997
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Diagnosis of computer systems by stochastic Petri nets Part II (Theory)
- G.S. Shedler
- Satoshi Moriguchi
- 1993
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences