Compact Propositional Encodings of First-Order Theories.

Deepak Ramachandran, Eyal Amir

Browse the full AAAI paper archive.