A New Translation from Deduction into Integer Programming.

Reiner Hhnle

Browse the full AISC paper archive.