Author:
Gebser Martin,Janhunen Tomi,Jost Holger,Kaminski Roland,Schaub Torsten
Publisher
Springer International Publishing
Reference25 articles.
1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York (2003)
2. Davis, M., Putnam, H.: A computing procedure for quantification theory. J. ACM 7, 201–215 (1960)
3. Claessen, K., Sörensson, N.: New techniques that improve MACE-style finite model finding. In: Proceedings of the Workshop on Model Computation (MODEL 2003) (2003)
4. Eén, N., Sörensson, N.: Temporal induction by incremental SAT solving. Electron. Notes Theoret. Comput. Sci. 89(4), 543–560 (2003)
5. Rintanen, J., Heljanko, K., Niemelä, I.: Planning as satisfiability: parallel plans and algorithms for plan search. Artif. Intell. 170(12–13), 1031–1080 (2006)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献