Polynomial time certifying algorithms for the planar quantified integer programming problem | UPT Perpustakaan UHAMKA