{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:26Z","timestamp":1725664706235},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_72","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:57:32Z","timestamp":1330261052000},"page":"404-413","source":"Crossref","is-referenced-by-count":0,"title":["Tiling with bars and satisfaction of boolean formulas"],"prefix":"10.1007","author":[{"given":"Eric","family":"R\u00e9mila","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"35_CR1","unstructured":"C. Berge. Theorie des graphes. Gauthier Villars, 1973."},{"key":"35_CR2","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/0097-3165(93)90065-G","volume":"A 63","author":"J. C. Lagarias","year":"1993","unstructured":"J. C. Lagarias D. S. Romano. A polyomino tiling of thurston and its configurational entropy. Journal of Combinatorial Theory, A 63:338\u2013358, 1993.","journal-title":"Journal of Combinatorial Theory"},{"key":"35_CR3","unstructured":"C. Kenyon E. Remila. Perfect matchings in the triangular lattice. to appear in Discrete Mathematics."},{"key":"35_CR4","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0097-3165(90)90057-4","volume":"A 53","author":"J. H. Conway","year":"1990","unstructured":"J. H. Conway J. C. Lagarias. Tiling with polyominoes and combinatorial group theory. Journal of Combinatorial Theory, A 53:183\u2013208, 1990.","journal-title":"Journal of Combinatorial Theory"},{"issue":"3","key":"35_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0020-0190(79)90002-4","volume":"8","author":"B. Aspvall","year":"1979","unstructured":"B. Aspvall M. F. Plass, R. E. Tarjan. A linear-time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters, 8(3):121\u2013123, 1979.","journal-title":"Information Processing Letters"},{"key":"35_CR6","unstructured":"D. Beauquier M. Nivat. Tiling pictures of the plane with two bars, a horizontal and a vertical one. pages 37\u201343, Universite de Creteil, 1991. seminaire Polyominos et pavages, D. Beauquier."},{"key":"35_CR7","unstructured":"E. Remila. Tiling a figure with bars of length 2 or 3. to appear in Discrete Mathematics."},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"C. Kenyon R. Kenyon. Tiling a polygon with rectangles, pages 610\u2013619. FOCS, 1992.","DOI":"10.1109\/SFCS.1992.267790"},{"key":"35_CR9","unstructured":"J. M. Robson. Le recouvrement d'une figure par hm et vn est np-complet. pages 95\u2013103, Universit de Creteil, 1991. seminaire Polyominos et pavages, D. Beauquier."},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"W. P. Thurston. Conway's tiling group. American Mathematical Monthly, pages 757\u2013773, 1990.","DOI":"10.1080\/00029890.1990.11995660"},{"key":"35_CR11","unstructured":"V. Unger. Pavage d'une figure par h2, v2, h3. rapport de stage de D. E. A. Laboratoire de l'Informatique du Parallelisme. Ecole Normale Superieure de Lyon, 1993."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:34:21Z","timestamp":1619559261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}