Abstract
Prototypes for automated spatial layout in architecture focus on approaches, which define occupiable space as an orthogonal 2D-grid and use algorithms to allocate each rectangle of the grid to a particular function. However, these approaches are limiting the design to 2D spatial layouts. Based on SAT solving techniques, the prototype presented in this paper proposes a methodology for automated 3D-space planning for voxelized curvilinear geometries.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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)
Michalek, J.J., et al.: Architectural Layout Design Optimization, Engineering Optimization. Taylor & Francis, UK (2002)
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)
Een, N., Sorensson, N.: An Extensible SAT solver. In: Satisfiability Workshop (2003)
Pipatsrisawat, K., Darwiche, A.: RSat 2.0: SAT Solver Description, Technical report D153, Automated Reasoning Group. Computer Science, Los Angeles (2007)
Heule, M.J.H., van Maaren, H.: March_dl: Adding Adaptive Heuristics and a New Branching Strategy. Journal on Satisfiability, Boolean Modeling and Computation 2 (2006)
Lintao, Z., Sharad, M.: The Quest for Efficient Boolean Satisfiability Solvers, LNCS, Springer Berlin/Heidelberg (2002)
Neufert, E., Neufert, P.: Architects’ Data, 3Rev. Ed., UK Edition Blackwell Science, Malden (2002)
Building Research Council: Kitchen Planning Standards, University of Illinois, Urbana-Champaign (1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bier, H., de Jong, A., van der Hoorn, G., Brouwers, N., Heule, M., van Maaren, H. (2008). Prototypes for Automated Architectural 3D-Layout. In: Wyeld, T.G., Kenderdine, S., Docherty, M. (eds) Virtual Systems and Multimedia. VSMM 2007. Lecture Notes in Computer Science, vol 4820. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78566-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-78566-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78565-1
Online ISBN: 978-3-540-78566-8
eBook Packages: Computer ScienceComputer Science (R0)