Search for dissertations about: "Joseph Scott"

Found 1 swedish dissertation containing the words Joseph Scott.

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

    Author : Joseph Scott; Pierre Flener; Parosh Abdulla; Justin Pearson; Michel Rueher; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; string constraint problems; Galois connections; abstraction; constraint propagation; computer-aided verification applications; Datavetenskap; Computer Science;

    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