A Language of Abstract Floor Plans

• 1 June 1990
• journal article
• Published by SAGE Publications in Environment and Planning B: Planning and Design
• Vol. 17  (2) , 173-204
• https://doi.org/10.1068/b170173

Abstract

Keywords

• SATISFIABILITY
• EXHAUSTIVE SEARCH
• DESIGN AUTOMATION
• SPECIFICATION LANGUAGE