DISPDESK: A Logistic Constraint Programming System for Construction Machinery

Logistic planning and programming of construction machinery involves complex sets of objectives and constraints; therefore traditional approaches typically result in a large monolithic model that is difficult to solve, understand, and maintain. In order to tackle large, particularly combinatorial, problems in logistic support for construction machinery, we design a constraint programming system, namely DISPDESK, which comprises a specification generator and its underlying domain-specific architecture, an algorithm library and its selector, a pre-defined solution library and a problem solver. The system features separation of concerns in specifications, little requirements for programming skills, domain-specific optimization, and semi-automatic generation of high-performance and reliable problem solvers