Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Information Systems,Software
Reference44 articles.
1. Ansótegui, C., Bonet, M.L., & Levy, J. (2009). Solving (weighted) partial MaxSAT through satisfiability testing, In Kullmann, O. (Ed.) SAT 2009, LNCS, vol. 5584, pp. 427–440. Springer Berlin Heidelberg.
2. Ansótegui, C., & Gabàs, J. (2013). Solving (weighted) partial MaxSAT with ILP, In Gomes, C.P., & Sellmann, M. (Eds.) CPAIOR 2013, LNCS, vol. 7874, pp. 403–409. Springer.
3. Argelich, J., Lynce, I., & Marques-Silva, J. (2009). On solving boolean multilevel optimization problems, In Boutilier, C. (Ed.) IJCAI 2009, pp. 393–398.
4. Argelich, J., & Manyà, F. (2006). Exact Max-SAT solvers for over-constrained problems. J Heuristics, 12(4–5), 375–392.
5. Audemard, G., Lagniez, J., & Simon, L. (2013). Improving glucose for incremental SAT solving with assumptions: Application to MUS extraction, In Järvisalo, M., & Gelder, A.V. (Eds.) SAT 2013, LNCS, vol. 7962, pp. 309–317. Springer.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献