Search for dissertations about: "Constraint"

Showing result 1 - 5 of 399 swedish dissertations containing the word Constraint.

  1. 1. Parallelism in Constraint Programming

    Author : Carl Christian Rolf; Lunds universitet.; Lund University.; [2011]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Parallelism; Constraint Programming; Parallel Consistency; Parallel Search; Distributed Constraint Programming;

    Abstract : Popular Abstract in English At our workplace, at home, and on the road, we rely on software. It has become one of the central technologies on which we base our society. Yet, software is perhaps the major technology that is understood the least by the general population. READ MORE

  2. 2. Other Things Besides Number Abstraction, Constraint Propagation, and String Variable Types

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Joseph Scott; Uppsala universitet.; Uppsala universitet.; [2016]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; string constraint problems; Galois connections; abstraction; constraint propagation; computer-aided verification applications; Computer Science; Datavetenskap;

    Abstract : Constraint programming (CP) is a technology in which a combinatorial problem is modeled declaratively as a conjunction of constraints, each of which captures some of the combinatorial substructure of the problem. Constraints are more than a modeling convenience: every constraint is partially implemented by an inference algorithm, called a propagator, that rules out some but not necessarily all infeasible candidate values of one or more unknowns in the scope of the constraint. READ MORE

  3. 3. Function Variables for Constraint Programming

    University dissertation from Uppsala : Institutionen för informationsvetenskap

    Author : Brahim Hnich; Uppsala universitet.; [2003]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap 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. 4. Techniques for Efficient Constraint Propagation

    University dissertation from Stockholm : KTH

    Author : Mikael Zayenz Lagerkvist; KTH.; [2008]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint propagation; optimization; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

    Abstract : This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation.  Support for incremental propagation is added to a propagator centered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. READ MORE

  5. 5. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Jun He; Uppsala universitet.; Uppsala universitet.; [2013]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; regular constraint; automaton constraint; context-free grammar constraint; solution neighbourhood; counter automaton; Computer Science; Datavetenskap;

    Abstract : This thesis focuses on constraints for membership in formal languages under both the systematic search and stochastic local search approaches to constraint programming (CP). Such constraints are very useful in CP for the following three reasons: They provide a powerful tool for user-level extensibility of CP languages. READ MORE