SL
Sanjiang Li
quant-phcs.AIcs.DScs.ETcs.LOcs.MAcs.ARcs.CGcs.DMcs.FL
On Valency
published · living versionsW_d7naw3tc·v1 · currentpublished
Fast Template Matching for Quantum Circuits Using Hypergraph
with Xin Hong, Jintao Yu, Runhong He, Shenggang Ying +1
1 version
Preprints & journals
40 papers in the corpus · 2007–2026Oracle Synthesis Based on X-Map Decision Diagrams2609.20854v1 · Xin Hong, Kezhen Zhang, Aochu Dai et al.2026 · 0 citationsarXiv
dSABRE: A SABRE-Style Router for Multi-Core Distributed Quantum Computers2605.21960v1 · Sanjiang Li2026 · 0 citationsarXiv
Optimal compilation strategies for QFT circuits in neutral-atom quantum computing.41449197 · Gao, Dingchao, Li, Yongming, Ying, Shenggang et al.2026 · 1 citationScientific reports. 2025;16(1):2719
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps2507.17170v2 · Xin Hong, Aochu Dai, Chenjian Li et al.2025 · 0 citationsarXiv
Quantum State Preparation Based on LimTDD2507.14496v1 · Xin Hong, Chenjian Li, Aochu Dai et al.2025 · 1 citationarXiv
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations2504.01168v3 · Xin Hong, Aochu Dai, Dingchao Gao et al.2025 · 0 citationsarXiv
Image Computation for Quantum Transition Systems2503.04146v1 · Xin Hong, Dingchao Gao, Sanjiang Li et al.2025 · 4 citationsarXiv
On the Trainability and Classical Simulability of Learning Matrix Product States Variationally2409.10055v1 · Afrad Basheer, Yuan Feng, Christopher Ferrie et al.2024 · 0 citationsProceedings of the AAAI Conference on Artificial Intelligence 39 (15), 15498-15506 (2025)
Qubit Mapping: The Adaptive Divide-and-Conquer Approach2409.04752v1 · Yunqi Huang, Xiangzhen Zhou, Fanxu Meng et al.2024 · 2 citationsarXiv
DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation2409.03185v2 · Yunqi Huang, Dingchao Gao, Shenggang Ying et al.2024 · 6 citationsarXiv
Equivalence Checking of Parameterised Quantum Circuits2404.18456v1 · Xin Hong, Wei-Jia Huang, Wei-Chen Chien et al.2024 · 1 citationarXiv
Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows2309.04754v1 · Afrad Basheer, Yuan Feng, Christopher Ferrie et al.2023 · 1 citationarXiv
Decision Diagrams for Symbolic Verification of Quantum Circuits2308.00440v1 · Xin Hong, Wei-Jia Huang, Wei-Chen Chien et al.2023 · 11 citationsarXiv
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping2308.00876v1 · Sanjiang Li, Ky Dan Nguyen, Zachary Clare et al.2023 · 10 citationsarXiv
Benchmarking Quantum Circuit Transformation with QKNOB Circuits2301.08932v2 · Sanjiang Li, Xiangzhen Zhou, Yuan Feng2023 · 5 citationsarXiv
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows2208.11623v1 · Afrad Basheer, Yuan Feng, Christopher Ferrie et al.2022 · 3 citationsarXiv
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs2206.13772v1 · Yuan Feng, Sanjiang Li2022 · 2 citationsarXiv
Supervised Learning Enhanced Quantum Circuit Transformation2110.03057v2 · Xiangzhen Zhou, Yuan Feng, Sanjiang Li2021 · 13 citationsarXiv
A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand2108.06832v1 · Xueqing Yan, Yongming Li, Sanjiang Li2021 · 4 citationsarXiv
Equivalence Checking of Dynamic Quantum Circuits2106.01658v1 · Xin Hong, Yuan Feng, Sanjiang Li et al.2021 · 20 citationsarXiv
Verification of Distributed Quantum Programs2104.14796v1 · Yuan Feng, Sanjiang Li, Mingsheng Ying2021 · 16 citationsACM Transactions on Computational Logic (TOCL) 23, 3 (2022), 1-40
Approximate Equivalence Checking of Noisy Quantum Circuits2103.11595v2 · Xin Hong, Mingsheng Ying, Yuan Feng et al.2021 · 29 citationsarXiv
A Tensor Network based Decision Diagram for Representation of Quantum Circuits2009.02618v3 · Xin Hong, Xiangzhen Zhou, Sanjiang Li et al.2020 · 44 citationsarXiv
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework2008.09331v4 · Xiangzhen Zhou, Yuan Feng, Sanjiang Li2020 · 45 citationsarXiv
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search2004.07138v3 · Sanjiang Li, Xiangzhen Zhou, Yuan Feng2020 · 53 citationsarXiv
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search1908.08853v1 · Xiangzhen Zhou, Sanjiang Li, Yuan Feng2019 · 76 citationsarXiv
Let's Play Mahjong!1903.03294v1 · Sanjiang Li, Xueqing Yan2019 · 1 citationarXiv
Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights1903.01756v1 · Sanjiang Li, Yongming Li2019 · 2 citationsarXiv
Multiagent Simple Temporal Problem: The Arc-Consistency Approach1711.08151v1 · Shufeng Kong, Jae Hee Lee, Sanjiang Li2017 · 9 citationsarXiv
Exploring Directional Path-Consistency for Solving Constraint Networks1708.05522v1 · Shufeng Kong, Sanjiang Li, Michael Sioutis2017 · 3 citationsarXiv
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi1506.00337v1 · Zhiguo Long, Sanjiang Li2015 · 22 citationsarXiv
Realizing RCC8 networks using convex regions1410.2442v2 · Steven Schockaert, Sanjiang Li2014 · 9 citationsarXiv
On Redundant Topological Constraints1403.0613v2 · Sanjiang Li, Zhiguo Long, Weiming Liu et al.2014 · 31 citationsArtificial Intelligence 225 (2015) 51-76
On Quotients of Formal Power Series1203.2236v1 · Yongming Li, Qian Wang, Sanjiang Li2012 · 5 citationsarXiv
Reasoning about Cardinal Directions between Extended Objects: The Hardness Result1011.0233v2 · Weiming Liu, Sanjiang Li2010 · 0 citationsarXiv
On the Internal Topological Structure of Plane Regions0909.0109v5 · Sanjiang Li2009 · 0 citationsarXiv
Reasoning with Topological and Directional Spatial Information0909.0122v1 · Sanjiang Li, Anthony G. Cohn2009 · 24 citationsComputational Intelligence, 2012, 28(4):579-616
Reasoning about Cardinal Directions between Extended Objects0909.0138v1 · Xiaotong Zhang, Weiming Liu, Sanjiang Li et al.2009 · 73 citationsArtificial Intelligence, Volume 174, Issues 12-13, August 2010, Pages 951-983
Causal models have no complete axiomatic characterization0804.2401v1 · Sanjiang Li2008 · 2 citationsarXiv
Soft constraint abstraction based on semiring homomorphism0705.0734v1 · Sanjiang Li, Mingsheng Ying2007 · 7 citationsTheoretical Computer Science 403(2-3) 192-201, 2008
Career total: 127 works. 40 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.