Publisher
Springer International Publishing
Reference29 articles.
1. Alviano, M., Dodaro, C., Marques-Silva, J., Ricca, F.: Optimum stable model search: algorithms and implementation. J. Logic Comput. (2015). doi: 10.1093/logcom/exv061
2. Alviano, M., Dodaro, C.: Anytime answer set optimization via unsatisfiable core shrinking. Theor. Pract. Logic Program. 16(5–6), 533–551 (2016)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Alviano,2015
4. Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: International Conference on Logic Programming (ICLP), Technical Communications, pp. 212–221 (2012)
5. Ansótegui, C., Bonet, M.L., Levy, J.: SAT-based MaxSAT algorithms. Artif. Intell. 196, 77–105 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献