A microkernel architecture for constraint programming

详细信息    查看全文

• 作者：L. Michel ; P. Van Hentenryck
• 关键词：Solver ; Microkernel ; Finite ; domain
• 刊名：Constraints
• 出版年：2017
• 出版时间：April 2017
• 年：2017
• 卷：22
• 期：2
• 页码：107-151
• 全文大小：
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence (incl. Robotics); Optimization; Computing Methodologies; Operation Research/Decision Theory;
• 出版者：Springer US
• ISSN：1572-9354
• 卷排序：22

文摘

This paper presents a microkernel architecture for constraint programming organized around a small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. With this design, variables, domains and constraints all remain external to the microkernel which isolates the propagation logic and event protocols from the modeling constructions. The Objective-CP search blends the control primitives of the host language with search combinators in a completely transparent and fully compositional way, delivering a natural search procedure in which one can use native constructions and tools such as debuggers. Empirical results indicate that the software engineering benefits are not incompatible with runtime efficiency.