Semi-Automatic Learning-based Model Transformation

This thesis proposes a framework to semi-automatically improve the modelling of Combinatorial Optimisation/Satisfaction Problems (COPs/CSPs). Our experiments show that our method is practical, general for different types of problems, and can improve performance for certain models.