"Program synthesis for declarative building design" by Drew Wolpert, Andrew Zukoski