中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Issued Date
Language
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
Holographic algorithms by Fibonacci gates [期刊论文]
Linear Algebra and Its Applications, 2013-01-01, 卷号: 438, 期号: 2, 页码: 690-707
Cai, Jin-Yi (1); Lu, Pinyan (2); Xia, Mingji (3)

 
holographic reduction, interpolation and hardness [期刊论文]
COMPUTATIONAL COMPLEXITY, 2012-01-01, 卷号: 21, 期号: 4, 页码: 573-604
Cai Jin-Yi; Lu Pinyan; Xia Mingji

 
computational complexity of holant problems [期刊论文]
SIAM Journal on Computing, 2011-01-01, 卷号: 40, 期号: 4, 页码: 1101-1132
Cai Jin-Yi; Lu Pinyan; Xia Mingji

 
dichotomy for holant* problems of boolean domain [会议论文]
22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
holographic algorithms by fibonacci gates [会议论文]
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
approximation and hardness results for label cut and related problems [期刊论文]
Journal of Combinatorial Optimization, 2011-01-01, 卷号: 21, 期号: 2, 页码: 192-208
Zhang Peng; Cai Jin-Yi; Tang Lin-Qing; Zhao Wen-Bo
  |  
 
a computational proof of complexity of some restricted counting problems [期刊论文]
Theoretical Computer Science, 2010-01-01, 页码: -
Jin-Yi Cai; Pinyan Lu; Mingji Xia
  |  
 
holographic algorithms with matchgates capture precisely tractable planar #csp [会议论文]
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, NV, United states, 40839
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
a computational proof of complexity of some restricted counting problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
approximation and hardness results for label cut and related problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Zhang Peng; Cai Jin-Yi; Tang Linqing; Zhao Wenbo

 

1 2 next

 
Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace