{"type":"ScholarlyArticle","title":"Compact Propositional Encodings of First-Order Theories","authors":[{"name":"Deepak Ramachandran","slug":"deepak-ramachandran","given":"Deepak","family":"Ramachandran","affiliation":""},{"name":"Eyal Amir","slug":"eyal-amir","given":"Eyal","family":"Amir","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/2005/329","pdf":"https://ijcai.org/proceedings/2005/0329.pdf","markdown":"https://ijcai.org/proceedings/2005/329.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/329","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":329,"pages":{"first":1579,"last":1579},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}