TY - RPRT TI - A Microkernel Architecture for Constraint Programming AU - Laurent Michel AU - Pascal Van Hentenryck PY - 2014 UR - https://arxiv.org/abs/1401.5334 ID - 1401.5334 ER -