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

Search Results

Help

Item hits: (Results 1-9 of 9)

Filters    
Items/Page:    Sort:
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

 
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
  |  
 
the bdd-based dynamic a* algorithm for real-time replanning [会议论文]
3rd International Workshop on Frontiers in Algorithmics, Hefei, PEOPLES R CHINA, JUN 20-23,
Xu Yanyan; Yue Weiya; Su Kaile

 
bddrpa*: an efficient bdd-based incremental heuristic search algorithm for replanning [会议论文]
19th Australian Joint Conference on Artificial Intelligence, Hobart, AUSTRALIA, DEC 04-08,
Yue Weiya; Xu Yanyan; Su Kaile
  |  
 

1

 

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