Constraint Programming Research at York

[ Home | People | Publications ]


Constriant programming is both an interesting research area and a useful and powerful tool for solving many mathematical and real-world problems.

The following is an (incomplete) list of the research projects in constraint programming undertaken at York:

  • The Automated Generation of Constraint Programs
    (Including the ESSENCE problem specification language, the ESSENCE' constraint modelling language and the CONJURE automated modelling system.)

  • The Automatic Generation of Implied Constraints
    (Including all our work on symmetry-breaking constraints.)

  • Solving Non-Boolean Satisfiability Problems
    (Including NB-Walksat and code for downloading)

  • Gridline: The allocation of grid computing resources


    • This web-page is maintained by Alan Frisch. and was last updated 14 June 2011.

    [Back To Menu Page]