基于约束的编程相关硕士博士期刊学术论文

　　由于人们生活、工作和娱乐的需要，博物馆、体育馆和地铁站等大型公共建筑的数量正在不断增加。这些建筑大多具有多功能和大空间......