Author:
Cadoli Marco,Mancini Toni
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley Publ. Co., Reading, Massachussetts, 1995.
2. J. Beasley, M. Krishnamoorthy, Y. Sharaiha, and D. Abramson. Scheduling aircraft landings-the static case. Transportation Science, 34:180–197, 2000.
3. M. Cadoli and L. Palopoli. Circumscribing datalog: expressive power and complexity. Theor. Comp. Sci., 193:215–244, 1998.
4. M. Cadoli and A. Schaerf. Compiling problem specifications into SAT. In Proceedings of the European Symposium On Programming (ESOP 2001), volume 2028 of LNAI, pages 387–401. Springer-Verlag, 2001.
5. R. Fagin. Generalized First-Order Spectra and Polynomial-Time Recognizable Sets. In R. M. Karp, ed., Complexity of Computation, pages 43–74. AMS, 1974.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献