Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Discrete Mathematics and Combinatorics,Software
Reference81 articles.
1. Alviano, M., Dodaro, C., Faber, W., Leone, N., & Ricca, F. (2013). WASP: a native ASP solver based on constraint learning. In Proc. of LPNMR 2013. Vol. 8148 of LNCS (pp. 54–66). Springer-Verlag.
2. Alviano, M., Dodaro, C., Faber, W., Leone, N., & Ricca, F. (2015). Advances in WASP. In Proc. of LPNMR 2015. Vol. 9345 of LNCS (pp. 40–54). Springer-Verlag.
3. Anger, C., Gebser, M., Janhunen, T., & Schaub, T. (2006). What’s a head without a body? In Proceedings of the European conference on artificial intelligence (ECAI’06) (pp. 769–770).
4. Atserias, A., Fichte, J. K., & Thurley, M. (2011). Clause-learning algorithms with many restarts and bounded-width resolution. Journal of Artificial Inteligence Research (JAIR), 40, 353–373.
5. Biere, A., Cimatti, A., Clarke, E. M., Strichman, O., & Zhu, Y. (2003). Bounded model checking. Advances in Computers, 58, 117–148.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献