Search for dissertations about: "Brahim Hnich"

Found 2 swedish dissertations containing the words Brahim Hnich.

2. 1. Function Variables for Constraint Programming

   Author : Brahim Hnich; Edward Tsang; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; Datalogi; Computer Science; data- och systemvetenskap;

   Abstract : 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. READ MORE

4. 2. Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications

   Author : Ola Angelsmark; Peter Jonsson; Brahim Hnich; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint satisfaction; CSP; graph problems; algorithm construction; computational complexity; microstructures; graph colouring; decision problems; optimisation problems; quantum computing; molecular computing; Computer science; Datavetenskap;

   Abstract : 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. READ MORE