External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Compact Propositional Encodings of First-Order Theories

Deepak Ramachandran, Eyal Amir. Compact Propositional Encodings of First-Order Theories. In Leslie Pack Kaelbling, Alessandro Saffiotti, editors, IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. pages 1579-1580, Professional Book Center, 2005. [doi]

Authors

Deepak Ramachandran

This author has not been identified. Look up 'Deepak Ramachandran' in Google

Eyal Amir

This author has not been identified. Look up 'Eyal Amir' in Google
runs on