{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:05:26Z","timestamp":1729638326001,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/lics.2013.23","type":"proceedings-article","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T11:40:25Z","timestamp":1376480425000},"page":"173-182","source":"Crossref","is-referenced-by-count":8,"title":["Maximum Matching and Linear Programming in Fixed-Point Logic with Counting"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Anderson","sequence":"first","affiliation":[]},{"given":"Anuj","family":"Dawar","sequence":"additional","affiliation":[]},{"given":"Bjarki","family":"Holm","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Linear Programming and Extensions","year":"0","author":"dantzig","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0539-5"},{"journal-title":"Descriptive Complexity of Linear Algebra","year":"2010","author":"holm","key":"18"},{"journal-title":"Finite Model Theory","year":"1999","author":"ebbinghaus","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07003-1"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2013.23"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97881-4","author":"gro?tschel","year":"1988","journal-title":"Geometric Algorithms and Combinatorial Optimization"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1287\/moor.7.1.67"},{"key":"21","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/BF01071394","article-title":"Cut-off method with space extension in convex programming problems","volume":"13","author":"shor","year":"1977","journal-title":"Cybern Syst Anal"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/990308.990310"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/BF02579273"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.6028\/jres.069B.013"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90152-2"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090265"},{"key":"26","first-page":"289","article-title":"Pebble games and linear equations","author":"grohe","year":"2012","journal-title":"CSL Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1137\/0403036"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01305232"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90012-5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0041-5553(80)90061-0"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00005-6"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.12.049"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.22"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1190150152"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.24"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15025-8_28"},{"key":"8","article-title":"A quick update on open problems in Blass-Gurevich-Shelah's article","author":"blass","year":"2005","journal-title":"On Polynomial Time Computations Over Unordered Structures"}],"event":{"name":"2013 Twenty-Eighth Annual IEEE\/ACM Symposium on Logic in Computer Science (LICS 2013)","start":{"date-parts":[[2013,6,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2013,6,28]]}},"container-title":["2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570844\/6571519\/06571549.pdf?arnumber=6571549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,3]],"date-time":"2022-03-03T14:32:15Z","timestamp":1646317935000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6571549\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/lics.2013.23","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}