Compact Propositional Encodings of First-Order Theories

Has publishing details pp. 340-345, 2005

Has title Compact Propositional Encodings of First-Order Theories

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2005.html#RamachandranA05

Has where published AAAI

Has year 2005

Has author Deepak Ramachandran +, Eyal Amir +

Has identifier Compact Propositional Encodings of First-Order Theories +

Categories Proceeding Paper +