Author:
Giunchiglia Enrico,Narizzano Massimo,Tacchella Armando
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Scholl, C., Becker, B.: Checking equivalence for partial implementations. In: 38th Design Automation Conference, DAC 2001 (2001)
2. Lecture Notes in Computer Science;A. Ayari,2000
3. Rintanen, J.: Constructing conditional plans by a theorem prover. Journal of Artificial Intelligence Research 10, 323–352 (1999)
4. Castellini, C., Giunchiglia, E., Tacchella, A.: Improvements to SAT-based conformant planning. In: Proc. ECP (2001)
5. Lecture Notes in Computer Science;M.N. Mneimneh,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献