Sökning: "Brahim Hnich"
Hittade 2 avhandlingar innehållade orden Brahim Hnich.
1. Function Variables for Constraint Programming
Sammanfattning : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. LÄS MER
2. Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications
Sammanfattning : In this thesis, we will discuss the construction of algorithms for solving Constraint Satisfaction Problems (CSPs), and describe two new ways of approaching them. Both approaches are based on the idea that it is sometimes faster to solve a large number of restricted problems than a single, large, problem. LÄS MER