Compact Propositional Encodings of First-Order Theories

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/RamachandranA05, title={Compact Propositional Encodings of First-Order Theories}, pages={340-345}, year={2005}, crossref={DBLP:conf/aaai/2005}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2005.html#RamachandranA05}, author={Deepak Ramachandran and Eyal Amir} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Compact_Propositional_Encodings_of_First-Order_Theories"
Personal tools