Generalised Integer Programming Based on Logically Defined Relations.

Peter Jonsson, Gustav Nordh

Browse the full MFCS paper archive.