The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Hi-index | 0.00 |
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.