Author:
Gebser Martin,Kaminski Roland,Kaufmann Benjamin,Schaub Torsten,Schneider Marius Thomas,Ziller Stefan
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: IJCAI 2007, pp. 386–392. AAAI Press, Menlo Park (2007)
3. Lecture Notes in Computer Science;K. Pipatsrisawat,2009
4. Xu, L., Hutter, F., Hoos, H., Leyton-Brown, K.: SATzilla: Portfolio-based algorithm selection for SAT. JAIR 32, 565–606 (2008)
5. Basak, D., Pal, S., Patranabis, D.: Support vector regression. NIP 11(10), 203–224 (2007)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献