中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
New local search methods for partial MaxSAT [期刊论文]
ARTIFICIAL INTELLIGENCE, 2016-01-01, 卷号: 240, 页码: 1-18
Cai, SW; Luo, CA; Lin, JK; Su, KL
  |  
 
holographic reduction, interpolation and hardness [期刊论文]
COMPUTATIONAL COMPLEXITY, 2012-01-01, 卷号: 21, 期号: 4, 页码: 573-604
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
  |  
 
基于可信平台模块的虚拟单调计数器研究 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 3, 页码: 415-422
李昊; 秦宇; 冯登国
  |  
 
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

 
conditional hardness of approximating satisfiable max 3csp-q [会议论文]
20th International Symposium on Algorithms and Computations (ISAAC 2009), Honolulu, HI, DEC 16-18,
Tang Linqing

 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
holographic algorithms by fibonacci gates and holographic reductions for hardness [会议论文]
49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, United states, 40841
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
on constrained facility location problems [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2008-01-01, 卷号: 23, 期号: 5, 页码: 740-748
Li Wei-Lin; Zhang Peng; Zhu Da-Ming
  |  
 
maximum edge-disjoint paths problem in planar graphs [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Xia Mingji
  |  
 

1 2 next

 

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