Polynomial time certifying algorithms for the planar quantified integer programming problem

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.