DBLP:conf/ijcai/RamachandranA05

Has publishing details pp. 1579-1580, 2005

Has title Compact Propositional Encodings of First-Order Theories

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

Has where published IJCAI

Has year 2005

Has author Deepak Ramachandran +, Eyal Amir +

Has identifier DBLP:conf/ijcai/RamachandranA05 +

Categories Proceeding Paper +