Author:
Luo Chuan,Cai Shaowei,Su Kaile,Huang Wenxuan
Funder
National Key Research and Development Program of China
Open Project Program of the State Key Laboratory of Mathematical Engineering and Advanced Computing
National Natural Science Foundation of China
Australian Research Council
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference59 articles.
1. Solving satisfiability with less searching;Purdom;IEEE Trans. Pattern Anal. Mach. Intell.,1984
2. Iterated robust tabu search for MAX-SAT;Smyth,2003
3. Tailoring local search for partial MaxSAT;Cai,2014
4. Computational protein design as a cost function network optimization problem;Allouche,2012
5. Computational protein design as an optimization problem;Allouche;Artif. Intell.,2014
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献