Compact Propositional Encodings of First-Order Theories.

Deepak Ramachandran, Eyal Amir

Browse the full IJCAI paper archive.