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

Search Results

Help

Item hits: (Results 1-6 of 6)

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)

 
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

 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  
 

1

 

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