Composing constraint solvers
Javier O. Blanco
M. Kesseler
G. Naumoski
W. Alberts
A. Basten
Engineering M.. Jelasity
W. Mallon
W. Griffioen
P.h.f.m.. Verhoeven
R.. Ahn
Computer Science