Z. Liang, K. Subramani, James Worthington. Polynomial time certifying algorithms for the planar quantified integer programming problem. Journal of Logic and Computation, 23(5):1017-1033, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.