Funder
National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,General Computer Science
Reference35 articles.
1. Bansal, N., Raman, V.: Upper bounds for MaxSAT: further improved. In: ISAAC, pp. 247–258 (1999)
2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of satisfiability. In: Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
3. Bliznets, I., Golovnev, A.: A new algorithm for parameterized MAX-SAT. In: IPEC, pp. 37–48 (2012)
4. Bliznets, I.A.: A new upper bound for $$(n, 3)$$-MAX-SAT. J. Math. Sci. 188(1), 1–6 (2013)
5. Bodlaender, H.L.: Kernelization: New upper and lower bound techniques. In: IWPEC, pp. 17–37 (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献