Author:
Xu Chao,Chen Jianer,Wang Jianxin
Funder
National Natural Science Foundation of China
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Upper bounds for MAXSAT: further improved;Bansal,1999
2. A new upper bound for (n,3)-MAX-SAT;Bliznets;J. Math. Sci.,2013
3. A new algorithm for parameterized MAX-SAT;Bliznets,2012
4. Resolution for Max-SAT;Bonet;Artificial Intelligence,2007
5. Improved exact algorithms for Max-SAT;Chen;Discrete Appl. Math.,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献