---
title: "Compact Propositional Encodings of First-Order Theories"
authors:
  - "Deepak Ramachandran"
  - "Eyal Amir"
doi: ""
url: "https://ijcai.org/proceedings/2005/329"
pdf: "https://ijcai.org/proceedings/2005/0329.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1579-1579"
track: ""
keywords:
---

# Compact Propositional Encodings of First-Order Theories

Deepak Ramachandran, Eyal Amir

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1579-1579.

## Abstract