Peter Jonsson, Gustav Nordh. Generalised Integer Programming Based on Logically Defined Relations. In Rastislav Kralovic, Pawel Urzyczyn, editors, Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings. Volume 4162 of Lecture Notes in Computer Science, pages 549-560, Springer, 2006. [doi]
Abstract is missing.