Report copyright - Introductionpak/papers/hard_presburger3.pdfpolytopes Q 1 ⊂R9 and Q 2 ⊂R6, which give proofs of theorems 1.2 and 1.3, respectively. While both constructions are explicit, the first
Please pass captcha verification before submit form