Sanjiang Li

116 papers A* 18A 13B 2C 2Misc 1Journal 76Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps.
CoRR
Xin Hong, Aochu Dai, Chenjian Li, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yunqi Huang, Dingchao Gao, Shenggang Ying, Sanjiang Li
2025 A conf
Image Computation for Quantum Transition Systems.
DATE
Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
Image Computation for Quantum Transition Systems.
CoRR
Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
LimTDD: A Compact Decision Diagram Integrating Tensor and Local Invertible Map Representations.
CoRR
Xin Hong, Aochu Dai, Dingchao Gao, Sanjiang Li, Zhengfeng Ji, Mingsheng Ying
2025 A* conf
On the Trainability and Classical Simulability of Learning Matrix Product States Variationally.
AAAI
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li, Hakop Pashayan
2025 A conf
Quantum State Preparation Based on LimTDD.
ICCAD
Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
Quantum State Preparation Based on LimTDD.
CoRR
Xin Hong, Chenjian Li, Aochu Dai, Sanjiang Li, Shenggang Ying, Mingsheng Ying
2025 J jnl
Qubit mapping: the adaptive divide-and-conquer approach.
Quantum Inf. Process.
Yunqi Huang, Xiangzhen Zhou, Fanxu Meng, Sanjiang Li
2024 A* conf
Ansatz-Agnostic Exponential Resource Saving in Variational Quantum Algorithms Using Shallow Shadows.
IJCAI
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
2024 J jnl
DasAtom: A Divide-and-Shuttle Atom Approach to Quantum Circuit Transformation.
CoRR
Yunqi Huang, Dingchao Gao, Shenggang Ying, Sanjiang Li
2023 J jnl
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.
Inf. Comput.
Yuan Feng, Sanjiang Li
2023 A* conf
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows.
AAAI
Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li
2023 Misc conf
Decision Diagrams for Symbolic Verification of Quantum Circuits.
QCE
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying
2023 A conf
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping.
ICCAD
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
2023 J jnl
Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping.
CoRR
Sanjiang Li, Ky Dan Nguyen, Zachary Clare, Yuan Feng
2023 J jnl
Supervised Learning Enhanced Quantum Circuit Transformation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
2022 J jnl
A Tensor Network based Decision Diagram for Representation of Quantum Circuits.
ACM Trans. Design Autom. Electr. Syst.
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
2022 J jnl
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs.
CoRR
Yuan Feng, Sanjiang Li
2022 A conf
Equivalence Checking of Dynamic Quantum Circuits.
ICCAD
Xin Hong, Yuan Feng, Sanjiang Li, Mingsheng Ying
2022 J jnl
On quotients of formal power series.
Inf. Comput.
Yongming Li, Qian Wang, Sanjiang Li
2022 J jnl
Quantum Circuit Transformation: A Monte Carlo Tree Search Framework.
ACM Trans. Design Autom. Electr. Syst.
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
2022 J jnl
Verification of Distributed Quantum Programs.
ACM Trans. Comput. Log.
Yuan Feng, Sanjiang Li, Mingsheng Ying
2021 J jnl
A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand.
CoRR
Xueqing Yan, Yongming Li, Sanjiang Li
2021 A* conf
Approximate Equivalence Checking of Noisy Quantum Circuits.
DAC
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
2021 J jnl
Approximate Equivalence Checking of Noisy Quantum Circuits.
CoRR
Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li
2021 J jnl
Qubit Mapping Based on Subgraph Isomorphism and Filtered Depth-Limited Search.
IEEE Trans. Computers
Sanjiang Li, Xiangzhen Zhou, Yuan Feng
2021 J jnl
Verification of Distributed Quantum Programs.
CoRR
Yuan Feng, Sanjiang Li, Mingsheng Ying
2020 A conf
A Monte Carlo Tree Search Framework for Quantum Circuit Transformation.
ICCAD
Xiangzhen Zhou, Yuan Feng, Sanjiang Li
2020 J jnl
A Tensor Network based Decision Diagram for Representation of Quantum Circuits.
CoRR
Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying
2020 J jnl
Compact geometric representation of qualitative directional knowledge.
Knowl. Based Syst.
Zhiguo Long, Hua Meng, Tianrui Li, Sanjiang Li
2020 J jnl
On constructing the largest and smallest uninorms on bounded lattices.
Fuzzy Sets Syst.
Aifang Xie, Sanjiang Li
2020 J jnl
Quantum Circuit Transformation Based on Simulated Annealing and Heuristic Search.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Xiangzhen Zhou, Sanjiang Li, Yuan Feng
2020 J jnl
Stability analysis of chemotaxis dynamics in bacterial foraging optimization over multi-dimensional objective functions.
Soft Comput.
Cuicui Yang, Junzhong Ji, Sanjiang Li
2019 J jnl
Computation tree logic model checking based on multi-valued possibility measures.
Inf. Sci.
Yongming Li, Lihui Lei, Sanjiang Li
2019 J jnl
Let's Play Mahjong!
CoRR
Sanjiang Li, Xueqing Yan
2019 J jnl
Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights.
CoRR
Sanjiang Li, Yongming Li
2018 J jnl
A new distributed algorithm for efficient generalized arc-consistency propagation.
Auton. Agents Multi Agent Syst.
Shufeng Kong, Jae Hee Lee, Sanjiang Li
2018 J jnl
Exploring Directional Path-Consistency for Solving Constraint Networks.
Comput. J.
Shufeng Kong, Sanjiang Li, Michael Sioutis
2018 J jnl
Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints.
Int. J. Artif. Intell. Tools
Michael Sioutis, Zhiguo Long, Sanjiang Li
2018 A* conf
Multiagent Simple Temporal Problem: The Arc-Consistency Approach.
AAAI
Shufeng Kong, Jae Hee Lee, Sanjiang Li
2018 A* conf
Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces.
IJCAI
Steven Schockaert, Sanjiang Li
2017 A conf
A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints.
AAMAS
Shufeng Kong, Jae Hee Lee, Sanjiang Li
2017 J jnl
Exploring Directional Path-Consistency for Solving Constraint Networks.
CoRR
Shufeng Kong, Sanjiang Li, Michael Sioutis
2017 J jnl
Multiagent Simple Temporal Problem: The Arc-Consistency Approach.
CoRR
Shufeng Kong, Jae Hee Lee, Sanjiang Li
2017 A* conf
On Redundant Topological Constraints (Extended Abstract).
IJCAI
Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both
2017 J jnl
On tree-preserving constraints.
Ann. Math. Artif. Intell.
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
2016 A* conf
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks.
IJCAI
Zhiguo Long, Michael Sioutis, Sanjiang Li
2016 — conf
Efficiently Reasoning about Qualitative Constraints through Variable Elimination.
SETN
Michael Sioutis, Zhiguo Long, Sanjiang Li
2016 A* conf
Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions.
KR
Zhiguo Long, Steven Schockaert, Sanjiang Li
2016 J jnl
Indexing large geographic datasets with compact qualitative representation.
Int. J. Geogr. Inf. Sci.
Zhiguo Long, Matt Duckham, Sanjiang Li, Steven Schockaert
2016 A conf
On Redundancy in Simple Temporal Networks.
ECAI
Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis
2015 A* conf
Belief Revision with General Epistemic States.
AAAI
Hua Meng, Hui Kou, Sanjiang Li
2015 J jnl
Cardinal directions: a comparison of direction relation matrix and objects interaction matrix.
Int. J. Geogr. Inf. Sci.
Sanjiang Li, Weiming Liu
2015 A* conf
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.
IJCAI
Michael Sioutis, Sanjiang Li, Jean-François Condotta
2015 — conf
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi.
COSIT
Zhiguo Long, Sanjiang Li
2015 J jnl
On Distributive Subalgebras of Qualitative Spatial and Temporal Calculi.
CoRR
Zhiguo Long, Sanjiang Li
2015 — conf
On Redundancy in Linked Geospatial Data.
LDQ@ESWC
Michael Sioutis, Sanjiang Li, Jean-François Condotta
2015 A conf
On Tree-Preserving Constraints.
CP
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
2015 J jnl
On redundant topological constraints.
Artif. Intell.
Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both
2015 J jnl
Realizing RCC8 networks using convex regions.
Artif. Intell.
Steven Schockaert, Sanjiang Li
2015 J jnl
The Quintuple Implication Principle of fuzzy reasoning.
Inf. Sci.
Baokui Zhou, Genqi Xu, Sanjiang Li
2014 B conf
A Topological Characterisation of Belief Revision over Infinite Propositional Languages.
PRICAI
Hua Meng, Sanjiang Li
2014 A* conf
On Redundant Topological Constraints.
KR
Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long
2014 J jnl
On Redundant Topological Constraints.
CoRR
Matt Duckham, Sanjiang Li, Weiming Liu, Zhiguo Long
2014 J jnl
Realizing RCC8 networks using convex regions.
CoRR
Steven Schockaert, Sanjiang Li
2014 J jnl
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects.
J. Artif. Intell. Res.
Anthony G. Cohn, Sanjiang Li, Weiming Liu, Jochen Renz
2013 J jnl
A complete classification of spatial relations using the Voronoi-based nine-intersection model.
Int. J. Geogr. Inf. Sci.
Zhiguo Long, Sanjiang Li
2013 A* conf
Combining RCC5 Relations with Betweenness Information.
IJCAI
Steven Schockaert, Sanjiang Li
2013 B conf
On Finding Approximate Solutions of Qualitative Constraint Networks.
ICTAI
Jason Jingshi Li, Sanjiang Li
2013 J jnl
Qualitative constraint satisfaction problems: An extended framework with landmarks.
Artif. Intell.
Sanjiang Li, Weiming Liu, Sheng-Sheng Wang
2012 A conf
Convex Solutions of RCC8 Networks.
ECAI
Steven Schockaert, Sanjiang Li
2012 C conf
Extension Properties of Boolean Contact Algebras.
RAMiCS
Ivo Düntsch, Sanjiang Li
2012 A conf
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction.
ECAI
Weiming Liu, Sanjiang Li
2012 J jnl
On Quotients of Formal Power Series
CoRR
Yongming Li, Qian Wang, Sanjiang Li
2012 J jnl
Reasoning with Topological and Directional Spatial Information.
Comput. Intell.
Sanjiang Li, Anthony G. Cohn
2012 A conf
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning.
CP
Weiming Liu, Sanjiang Li
2011 J jnl
On A Semi-Automatic Method for Generating Composition Tables
CoRR
Weiming Liu, Sanjiang Li
2011 J jnl
On standard models of fuzzy region connection calculus.
Int. J. Approx. Reason.
Weiming Liu, Sanjiang Li
2011 J jnl
Reasoning about cardinal directions between extended objects: The NP-hardness result.
Artif. Intell.
Weiming Liu, Sanjiang Li
2011 A conf
Solving Qualitative Constraints Involving Landmarks.
CP
Weiming Liu, Sheng-Sheng Wang, Sanjiang Li, Dayou Liu
2010 A* conf
A Layered Graph Representation for Complex Regions.
KR
Sanjiang Li
2010 — conf
Decentralized querying of topological relations between regions without using localization.
GIS
Matt Duckham, Myeong-Hun Jeong, Sanjiang Li, Jochen Renz
2010 J jnl
Reasoning about Cardinal Directions between Extended Objects: The Hardness Result
CoRR
Weiming Liu, Sanjiang Li
2010 J jnl
Reasoning about cardinal directions between extended objects.
Artif. Intell.
Weiming Liu, Xiaotong Zhang, Sanjiang Li, Mingsheng Ying
2010 A* conf
Topological Relations between Convex Regions.
AAAI
Sanjiang Li, Weiming Liu
2009 J jnl
A Layered Graph Representation for Complex Regions
CoRR
Sanjiang Li
2009 A* conf
Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity.
IJCAI
Weiming Liu, Sanjiang Li, Jochen Renz
2009 J jnl
Reasoning about Cardinal Directions between Extended Objects
CoRR
Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying
2009 J jnl
Reasoning with Topological and Directional Spatial Information
CoRR
Sanjiang Li, Anthony G. Cohn
2008 J jnl
AI in China: A Survey.
IEEE Intell. Syst.
Xiao-Shan Gao, Dantong Ouyang, Ji-gui Sun, Sanjiang Li, Tian-shun Yao, Ruzhan Lu, Chun-Yi Shi, Zhangang Han, Jue Wang, Cun-gen Cao, Ruqian Lu
2008 J jnl
Causal models have no complete axiomatic characterization
CoRR
Sanjiang Li
2008 A conf
Combining binary constraint networks in qualitative reasoning.
ECAI
Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
2008 A* conf
Reasoning with Cardinal Directions: An Efficient Algorithm.
AAAI
Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying
2008 J jnl
Soft constraint abstraction based on semiring homomorphism.
Theor. Comput. Sci.
Sanjiang Li, Mingsheng Ying
2007 J jnl
A representation theorem for minmax regret policies.
Artif. Intell.
Sanjiang Li
2007 A* conf
Combining Topological and Directional Information for Spatial Reasoning.
IJCAI
Sanjiang Li
2007 J jnl
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach.
Comput. J.
Sanjiang Li, Bernhard Nebel
2007 J jnl
Soft constraint abstraction based on semiring homomorphism
CoRR
Sanjiang Li, Mingsheng Ying
2006 J jnl
A complete classification of topological relations using the 9-intersection method.
Int. J. Geogr. Inf. Sci.
Sanjiang Li
2006 C conf
Combining Topological and Directional Information: First Results.
KSEM
Sanjiang Li
2006 J jnl
On Topological Consistency and Realization.
Constraints An Int. J.
Sanjiang Li
2006 J jnl
On minimal models of the Region Connection Calculus.
Fundam. Informaticae
Lirong Xia, Sanjiang Li
2006 J jnl
On the complemented disk algebra.
J. Log. Algebraic Methods Program.
Sanjiang Li, Yongming Li
2006 J jnl
RCC8 binary constraint network can be consistently extended.
Artif. Intell.
Sanjiang Li, Huaiqing Wang
2005 J jnl
On countable RCC models.
Fundam. Informaticae
Sanjiang Li, Mingsheng Ying, Yongming Li
2005 J jnl
Relational reasoning in the region connection calculus
CoRR
Yongming Li, Sanjiang Li, Mingsheng Ying
2004 J jnl
A fuzzy sets theoretic approach to approximate spatial reasoning.
IEEE Trans. Fuzzy Syst.
Yongming Li, Sanjiang Li
2004 J jnl
A note on stratified
Fuzzy Sets Syst.
Sanjiang Li, Maokang Luo
2004 J jnl
Generalized Region Connection Calculus.
Artif. Intell.
Sanjiang Li, Mingsheng Ying
2004 J jnl
Multi-agent coordination using nearest neighbor rules: revisiting the Vicsek model
CoRR
Sanjiang Li, Huaiqing Wang
2003 J jnl
A negative answer to T. Kubiak's question.
Fuzzy Sets Syst.
Sanjiang Li, Maokang Luo
2003 J jnl
Extensionality of the RCC8 Composition Table.
Fundam. Informaticae
Sanjiang Li, Mingsheng Ying
2003 J jnl
FNS is not isomorphic to FTS.
Fuzzy Sets Syst.
Sanjiang Li, Maokang Luo
2003 J jnl
Generalized Lowen functors.
Fuzzy Sets Syst.
Sanjiang Li, Maokang Luo
2003 J jnl
Region Connection Calculus: Its models and composition table.
Artif. Intell.
Sanjiang Li, Mingsheng Ying