selected publications academic article Constraint Programming Architectures: Review and a New Proposal 2007