{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T15:10:12Z","timestamp":1787497812176,"version":"build-2736575974"},"reference-count":15,"publisher":"World Scientific Pub Co Pte Ltd","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2014,12]]},"abstract":"<jats:p>A temporal constraint language is a set of relations that are first-order definable over (\u211a;&lt;). We show that several temporal constraint languages whose constraint satisfaction problem is maximally tractable are also maximally tractable for the more expressive quantified constraint satisfaction problem. These constraint languages are defined in terms of preservation under certain binary polymorphisms. We also present syntactic characterizations of the relations in these languages.<\/jats:p>","DOI":"10.1142\/s0218196714500507","type":"journal-article","created":{"date-parts":[[2014,12,9]],"date-time":"2014-12-09T01:01:55Z","timestamp":1418086915000},"page":"1141-1156","source":"Crossref","is-referenced-by-count":3,"title":["Tractability of quantified temporal constraints to the max"],"prefix":"10.1142","volume":"24","author":[{"given":"Manuel","family":"Bodirsky","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Algebra, TU Dresden 01062 Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hubie","family":"Chen","sequence":"additional","affiliation":[{"name":"Departamento LSI, Facultad de Inform\u00e1tica, Universidad del Pa\u00eds Vasco, E-20018 San Sebasti\u00e1n, Spain"},{"name":"IKERBASQUE, Basque Foundation for Science, E-48011 Bilbao, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Micha\u0142","family":"Wrona","sequence":"additional","affiliation":[{"name":"Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2015,1,7]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90002-4"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1145\/2556646"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9054-z"},{"key":"rf6","doi-asserted-by":"publisher","DOI":"10.1137\/080725209"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667058"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1145\/1740582.1740583"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.05.003"},{"key":"rf10","volume-title":"The Mathematics of Paul Erd\u00f6s","author":"Cameron P. J.","year":"1996"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89439-1_38"},{"key":"rf14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-29485-3_4","volume-title":"Logic and Program Semantics \u2014 Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday","volume":"7230","author":"Chen H.","year":"2012"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718546"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794266766"},{"key":"rf18","volume-title":"A Shorter Model Theory","author":"Hodges W.","year":"1997"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00107-7"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2011.01.024"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196714500507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T17:12:10Z","timestamp":1565111530000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196714500507"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":15,"journal-issue":{"issue":"08","published-online":{"date-parts":[[2015,1,7]]},"published-print":{"date-parts":[[2014,12]]}},"alternative-id":["10.1142\/S0218196714500507"],"URL":"https:\/\/doi.org\/10.1142\/s0218196714500507","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12]]}}}