A Microkernel Architecture for Constraint Programming
  This paper presents a microkernel architecture for constraint programming organized around a number of small number of core functionalities and minimal interfaces. The architecture contrasts with the monolithic nature of many implementations. Experimental results indicate that the software engineering benefits are not incompatible with runtime efficiency. 
Laurent Michel and Pascal Van Hentenryck
cs.AI cs.PL