{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:53:45Z","timestamp":1791219225239,"version":"4.1.0"},"reference-count":14,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2013,10,1]]},"DOI":"10.1093\/logcom\/exs034","type":"journal-article","created":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T02:03:47Z","timestamp":1348020227000},"page":"1017-1033","source":"Crossref","is-referenced-by-count":1,"title":["Polynomial time certifying algorithms for the planar quantified integer programming problem"],"prefix":"10.1093","volume":"23","author":[{"given":"Z.","family":"Liang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Subramani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Worthington","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2012,9,18]]},"reference":[{"key":"2_43644989","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s00454-001-0082-3","volume":"27","year":"2002","journal-title":"DISCRETE COMPUTATIONAL GEOMETRY"},{"key":"3_43644990","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1090\/S0002-9939-1976-0396605-3","volume":"55","year":"1976","journal-title":"AMERICAN MATHEMATICAL SOCIETY"},{"key":"11_43644991","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/321921.321936","volume":"23","year":"1976","journal-title":"JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY"},{"key":"12_43644992","first-page":"137","volume":"22","year":"1998","journal-title":"OR LETTERS"},{"key":"13_43644993","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1145\/322169.322179","volume":"27","year":"1980","journal-title":"JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY"},{"issue":"3","key":"14_30430881","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1287\/moor.12.3.415","volume":"12","author":"Kannan","year":"1987","journal-title":"Mathematics of Operations Research","ISSN":"https:\/\/id.crossref.org\/issn\/0364-765X","issn-type":"print"},{"issue":"4","key":"16_26967323","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1287\/moor.8.4.538","volume":"8","author":"Lenstra","year":"1983","journal-title":"Mathematics of Operations Research","ISSN":"https:\/\/id.crossref.org\/issn\/0364-765X","issn-type":"print"},{"key":"17_35431525","first-page":"744","volume":"47","year":"2000","journal-title":"Operations Research","ISSN":"https:\/\/id.crossref.org\/issn\/0030-364X","issn-type":"print"},{"key":"19_43644994","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0022-0000(78)90021-1","volume":"16","year":"1978","journal-title":"JOURNAL OF COMPUTER AND SYSTEM SCIENCES"},{"key":"24_43644995","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/288086.288088","volume":"23","year":"1998","journal-title":"ACM TRANSACTIONS ON DATABASE SYSTEMS"},{"key":"28_43644996","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF02242355","volume":"7","year":"1971","journal-title":"COMPUTING"},{"key":"31_43644997","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/s00224-004-1220-0","volume":"38","year":"2005","journal-title":"THEORY OF COMPUTING SYSTEMS"},{"key":"32_43644998","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/BF01898355","volume":"1","year":"1985","journal-title":"THE VISUAL COMPUTER"},{"key":"33_43644999","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1090\/S0002-9939-1978-0500555-0","volume":"72","year":"1978","journal-title":"PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/23\/5\/1017\/2774012\/exs034.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T07:24:03Z","timestamp":1503473043000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,18]]},"references-count":14,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2013,9,25]]},"published-print":{"date-parts":[[2013,10,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs034","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,18]]}}}