Essays about: "Gecode"

Showing result 1 - 5 of 10 essays containing the word Gecode.

  1. 1. Implementation and Evaluation of a Sweep-Based Propagator for Diffn in Gecode

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Mikael Östlund; [2017]
    Keywords : ;

    Abstract : This thesis builds upon Beldiceanu and Carlsson's sweep-based propagator for a non-overlapping-rectangle constraint. I design and implement a sweep-based propagator for the Diffn constraint, which deals with rectangles generalised to any number of dimensions. Such a constraint is useful in modelling scheduling, assignment, and packing problems. READ MORE

  3. 2. Implementation and Evaluation of a Compact-Table Propagator in Gecode

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Linnea Ingmar; [2017]
    Keywords : ;

    Abstract : In constraint programming, which is a programming paradigm for solvingcombinatorial(optimisation) problems, relations among variables are expressed using constraints —one suchuseful constraint is Table, which expresses the possible combinations that thevariables cantake as a set of tuples. All constraints have a propagation algorithm, whose purpose istoimplement the reasoning for a particular constraint. READ MORE

  4. 3. Pre-Runtime Scheduling of an Avionics System

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Max Block; [2016]
    Keywords : ;

    Abstract : This master's thesis addresses a scheduling problem arising when designing avionics – the electronic systems used on aircraft. Currently, the problem is commonly solved using mixed integer programming (MIP). We prove the scheduling problem at-hand, which is similar to the well-studied cyclic job shop scheduling problem, is NP-hard. READ MORE

  5. 4. Implementing Tuple Variables in Gecode

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Patrik Broman; [2016]
    Keywords : ;

    Abstract : In constraint programming, efficient pruning is vital to avoid unnecessary search. This thesis shows that tuple variables can be used to reduce the size of the search tree, which in turn may reduce the execution time. The tuple variables have been implemented in C++ for the Gecode library. READ MORE

  6. 5. Task scheduling for dual-arm industrial robots through Constraint Programming

    University essay from Lunds universitet/Institutionen för datavetenskap

    Author : Tommy Kvant; [2015]
    Keywords : Constraint Programming; MiniZinc; JaCoP; G12; Gecode; or-tools; Opturion CPX; Choco3; scheduling; dual-arm robots; Technology and Engineering;

    Abstract : In a society where more and more production becomes automated it demands robots that are as flexible and versatile as humans. Such flexibility demands automatic scheduling of tasks. READ MORE