SATISFIABILITY相关论文
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
In this paper, a computationally effective algorithm based on tabu search for solving the satisfiability problem (TSSAT)......

