Search for dissertations about: "Michel Rueher"
Found 1 swedish dissertation containing the words Michel Rueher.
-
1. Other Things Besides Number : Abstraction, Constraint Propagation, and String Variable Types
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
Result pages:
1