TY - RPRT TI - Modelling Constraint Solver Architecture Design as a Constraint Problem AU - Ian P. Gent AU - Chris Jefferson AU - Lars Kotthoff AU - Ian Miguel PY - 2011 UR - https://arxiv.org/abs/1110.6290 ID - 1110.6290 ER -