TY - GEN AU - Ingi Hayati Sobhi AU - Slim Abdennabher , TI - Constructive generation of rule - based constraint solvers / PY - 2007/// CY - Cairo : PB - Ingi Hayati Sobhi , KW - Constraint solvers KW - Constructive Generation KW - Rule - based N1 - Thesis (M.Sc.) - German University , Cairo - Faculty Of Engineering - Department Of Computer Engineering N2 - Inductive constraint soluing is a subhield of inductive machine learning concerned with the automatic generation of rule - based constraint solvers in this work we propose an orthogonal approach to the general direction of the work done in the field thus far UR - http://172.23.153.220/th.pdf ER -