Author:
Li Wenjun,Xu Chao,Wang Jianxin,Yang Yongjie
Publisher
Springer International Publishing
Reference21 articles.
1. Argelich, J., Manyà, F.: Exact Max-SAT solvers for over-constrained problems. J. Heuristics 12(4–5), 375–392 (2006)
2. Lecture Notes in Computer Science;N Bansal,1999
3. Berg, J., Hyttinen, A., Jrvisalo, M.: Applications of MaxSAT in data analysis. In: Pragmatics of SAT Workshop (2015)
4. Lecture Notes in Computer Science;I Bliznets,2012
5. Bliznets, I.A.: A new upper bound for
$$(n, 3)$$
(
n
,
3
)
-MAX-SAT. J. Math. Sci. 188(1), 1–6 (2013)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献