Efficient Model Generation through Compilation.

Heribert Schtz, Tim Geisler

Browse the full CADE paper archive.