{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T14:03:39Z","timestamp":1777125819441,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642215803","type":"print"},{"value":"9783642215810","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21581-0_34","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T09:30:19Z","timestamp":1307698219000},"page":"371-372","source":"Crossref","is-referenced-by-count":10,"title":["The Order Encoding: From Tractable CSP to Tractable SAT"],"prefix":"10.1007","author":[{"given":"Justyna","family":"Petke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Jeavons","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S1574-6526(06)80012-X","volume-title":"Handbook of Constraint Programming, ch. 8","author":"D. Cohen","year":"2006","unstructured":"Cohen, D., Jeavons, P.: The complexity of constraint languages. In: Handbook of Constraint Programming, ch. 8, pp. 245\u2013280. Elsevier, Amsterdam (2006)"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/355483.355485","volume":"47","author":"D. Cohen","year":"2000","unstructured":"Cohen, D., et al.: Building tractable disjunctive constraints. Journal of the ACM\u00a047, 826\u2013853 (2000)","journal-title":"Journal of the ACM"},{"key":"34_CR3","unstructured":"Deville, Y., et al.: Constraint satisfaction over connected row convex constraints. In: Proceedings of IJCAI 1997, pp. 405\u2013411 (1997)"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Jeavons, P., Cooper, M.C.: Tractable constraints on ordered domains. Artificial Intelligence Journal, 327\u2013339 (1995)","DOI":"10.1016\/0004-3702(95)00107-7"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-15396-9_33","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2010","author":"J. Petke","year":"2010","unstructured":"Petke, J., Jeavons, P.: Local consistency and SAT-solvers. In: Cohen, D. (ed.) CP 2010. LNCS, vol.\u00a06308, pp. 398\u2013413. Springer, Heidelberg (2010)"},{"key":"34_CR6","first-page":"75","volume-title":"Handbook of Satisfiability, ch. 2","author":"S.D. Prestwich","year":"2009","unstructured":"Prestwich, S.D.: CNF encodings. In: Handbook of Satisfiability, ch. 2, pp. 75\u201397. IOS Press, Amsterdam (2009)"},{"key":"34_CR7","first-page":"216","volume-title":"Proceedings of the 10th ACM Symposium on Theory of Computing - STOC 1978","author":"T.J. Schaefer","year":"1978","unstructured":"Schaefer, T.J.: The Complexity of Satisfiability Problems. In: Proceedings of the 10th ACM Symposium on Theory of Computing - STOC 1978, pp. 216\u2013226. ACM, New York (1978)"},{"key":"34_CR8","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/s10601-008-9061-0","volume":"14","author":"N. Tamura","year":"2009","unstructured":"Tamura, N., et al.: Compiling finite linear CSP into SAT. Constraints Journal\u00a014, 254\u2013272 (2009)","journal-title":"Constraints Journal"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing - SAT 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21581-0_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T10:53:57Z","timestamp":1553770437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21581-0_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642215803","9783642215810"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21581-0_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}