{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:56:29Z","timestamp":1743126989436,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540785651"},{"type":"electronic","value":"9783540785668"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78566-8_18","type":"book-chapter","created":{"date-parts":[[2008,3,7]],"date-time":"2008-03-07T12:37:47Z","timestamp":1204893467000},"page":"203-214","source":"Crossref","is-referenced-by-count":6,"title":["Prototypes for Automated Architectural 3D-Layout"],"prefix":"10.1007","author":[{"given":"Henriette","family":"Bier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriaan","family":"de Jong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gijs","family":"van der Hoorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niels","family":"Brouwers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marijn","family":"Heule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"van Maaren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Hierarchical Generate and Test vs. Constraint-Directed Search - A Comparison in the Context of Layout Synthesis published in Artificial Intelligence in Design","author":"U. Flemming","year":"1992","unstructured":"Flemming, U., et al.: Hierarchical Generate and Test vs. Constraint-Directed Search - A Comparison in the Context of Layout Synthesis published in Artificial Intelligence in Design. Kluwer Academic Publishers, Dordrecht (1992)"},{"key":"18_CR2","volume-title":"Architectural Layout Design Optimization, Engineering Optimization","author":"J.J. Michalek","year":"2002","unstructured":"Michalek, J.J., et al.: Architectural Layout Design Optimization, Engineering Optimization. Taylor & Francis, UK (2002)"},{"key":"18_CR3","volume-title":"Proceedings of the Third Annual ACM Symposium on theory of Computing","author":"S.A. Cook","year":"1971","unstructured":"Cook, S.A.: The Complexity of Theorem-proving Procedures. In: Proceedings of the Third Annual ACM Symposium on theory of Computing, ACM Press, New York (1971)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Een, N., Sorensson, N.: An Extensible SAT solver. In: Satisfiability Workshop (2003)","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"18_CR5","volume-title":"RSat 2.0: SAT Solver Description, Technical report D153, Automated Reasoning Group","author":"K. Pipatsrisawat","year":"2007","unstructured":"Pipatsrisawat, K., Darwiche, A.: RSat 2.0: SAT Solver Description, Technical report D153, Automated Reasoning Group. Computer Science, Los Angeles (2007)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Heule, M.J.H., van Maaren, H.: March_dl: Adding Adaptive Heuristics and a New Branching Strategy. Journal on Satisfiability, Boolean Modeling and Computation\u00a02 (2006)","DOI":"10.3233\/SAT190016"},{"key":"18_CR7","unstructured":"Lintao, Z., Sharad, M.: The Quest for Efficient Boolean Satisfiability Solvers, LNCS, Springer Berlin\/Heidelberg (2002)"},{"key":"18_CR8","unstructured":"Neufert, E., Neufert, P.: Architects\u2019 Data, 3Rev. Ed., UK Edition Blackwell Science, Malden (2002)"},{"key":"18_CR9","unstructured":"Building Research Council: Kitchen Planning Standards, University of Illinois, Urbana-Champaign (1993)"}],"container-title":["Lecture Notes in Computer Science","Virtual Systems and Multimedia"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78566-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T23:09:13Z","timestamp":1738278553000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-78566-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540785651","9783540785668"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78566-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}