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

Search Results

Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
Scoring functions based on second level score for κ-SAT with long clauses [期刊论文]
Journal of Artificial Intelligence Research, 2014-01-01, 卷号: 51, 页码: 413-441
Cai, Shaowei (1); Luo, Chuan (3); Su, Kaile (4)

 
More efficient two-mode stochastic local search for random 3-satisfiability [期刊论文]
Applied Intelligence, 2014-01-01, 卷号: 41, 期号: 3, 页码: 665-680
Luo, Chuan (1); Su, Kaile (2); Cai, Shaowei (3)

 
Tailoring local search for partial MaxSAT [会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Cai, Shaowei (1); Luo, Chuan (3); Thornton, John (4); Su, Kaile (4)

 
Double configuration checking in stochastic local search for satisfiability [会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Luo, Chuan (1); Cai, Shaowei (2); Wu, Wei (1); Su, Kaile (1)

 
CacBDD: A BDD package with dynamic cache management [会议论文]
25th International Conference on Computer Aided Verification, CAV 2013, Saint Petersburg, Russia, July 13, 2013 - July 19, 2013
Lv, Guanfeng (1); Su, Kaile (2); Xu, Yanyan (4)

 
two new local search strategies for minimum vertex cover [会议论文]
26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference, AAAI-12 / IAAI-12, Toronto, ON, Canada, July 22, 2012 - July 26, 2012
Cai Shaowei; Su Kaile; Sattar Abdul

 
solving difficult sat problems by using obdds and greedy clique decomposition [会议论文]
6th International Frontiers of Algorithmics Workshop, FAW 2012 and 8th International Conference on Algorithmic Aspects of Information and Management, AAIM 2012, Beijing, China, May 14, 2012 - May 16, 2012
Xu Yanyan; Chen Wei; Su Kaile; Zhang Wenhui

 
greedy clique decomposition for symbolic satisfiability solving [期刊论文]
International Journal of Advancements in Computing Technology, 2012-01-01, 卷号: 4, 期号: 10, 页码: 174-184
Xu Yanyan; Chen Wei; Su Kaile; Zhang Wenhui

 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  
 
knowware: the third star after hardware and software [会议论文]
3rd International Conference on Knowledge Science, Engineering and Management, KSEM 2009, Vienna, Austria, 40849
Bell David; Jiang Ying; Lu Ruqian; Su Kaile; Zhang Songmao
  |  
 

1 2 next

 

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