受强制性开放获取政策约束的文章 - Sanjiang Li了解详情
无法在其他位置公开访问的文章：5 篇
A Monte Carlo tree search framework for quantum circuit transformation
X Zhou, Y Feng, S Li
Proceedings of the 39th International Conference on Computer-Aided Design, 1-7, 2020
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Computation tree logic model checking based on multi-valued possibility measures
Y Li, L Lei, S Li
Information sciences 485, 87-113, 2019
强制性开放获取政策： 国家自然科学基金委员会
Leveraging variable elimination for efficiently reasoning about qualitative constraints
M Sioutis, Z Long, S Li
International Journal on Artificial Intelligence Tools 27 (04), 1860001, 2018
强制性开放获取政策： European Commission
A topological characterisation of belief revision over infinite propositional languages
H Meng, S Li
Pacific Rim International Conference on Artificial Intelligence, 77-90, 2014
强制性开放获取政策： 国家自然科学基金委员会
A new distributed algorithm for efficient generalized arc-consistency propagation
S Kong, JH Lee, S Li
Autonomous Agents and Multi-Agent Systems 32 (5), 569-601, 2018
强制性开放获取政策： 国家自然科学基金委员会
可在其他位置公开访问的文章：34 篇
Quantum circuit transformation based on simulated annealing and heuristic search
X Zhou, S Li, Y Feng
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Qubit mapping based on subgraph isomorphism and filtered depth-limited search
S Li, X Zhou, Y Feng
IEEE Transactions on Computers 70 (11), 1777-1788, 2020
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects
AG Cohn, S Li, W Liu, J Renz
Journal of Artificial Intelligence Research 51, 493-532, 2014
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
A tensor network based decision diagram for representation of quantum circuits
X Hong, X Zhou, S Li, Y Feng, M Ying
ACM Transactions on Design Automation of Electronic Systems (TODAES) 27 (6 …, 2022
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
On redundant topological constraints
S Li, Z Long, W Liu, M Duckham, A Both
Artificial Intelligence 225, 51-76, 2015
强制性开放获取政策： 国家自然科学基金委员会
On distributive subalgebras of qualitative spatial and temporal calculi
Z Long, S Li
International Conference on Spatial Information Theory, 354-374, 2015
强制性开放获取政策： Australian Research Council
On constructing the largest and smallest uninorms on bounded lattices
A Xie, S Li
Fuzzy Sets and Systems 386, 95-104, 2020
强制性开放获取政策： 国家自然科学基金委员会
Qualitative constraint satisfaction problems: An extended framework with landmarks
S Li, W Liu, S Wang
Artificial Intelligence 201, 32-58, 2013
强制性开放获取政策： Australian Research Council
A complete classification of spatial relations using the Voronoi-based nine-intersection model
Z Long, S Li
International Journal of Geographical Information Science 27 (10), 2006-2025, 2013
强制性开放获取政策： Australian Research Council
Equivalence checking of dynamic quantum circuits
X Hong, Y Feng, S Li, M Ying
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided …, 2022
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Qualitative spatial representation and reasoning: A hierarchical approach
S Li, B Nebel
The Computer Journal 50 (4), 391-402, 2007
强制性开放获取政策： German Research Foundation
Quantum circuit transformation: A Monte Carlo tree search framework
X Zhou, Y Feng, S Li
ACM Transactions on Design Automation of Electronic Systems (TODAES) 27 (6 …, 2022
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Verification of distributed quantum programs
Y Feng, S Li, M Ying
ACM Transactions on Computational Logic (TOCL) 23 (3), 1-40, 2022
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Cardinal directions: a comparison of direction relation matrix and objects interaction matrix
S Li, W Liu
International Journal of Geographical Information Science 29 (2), 194-216, 2015
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
Alternating layered variational quantum circuits can be classically optimized efficiently using classical shadows
A Basheer, Y Feng, C Ferrie, S Li
Proceedings of the AAAI Conference on Artificial Intelligence 37 (6), 6770-6778, 2023
强制性开放获取政策： Australian Research Council, 国家自然科学基金委员会
出版信息和资助信息由计算机程序自动确定