« Constraint programming modeller i Gecode/R (Ruby interface till Gecode) | Main | Bloggträff söndag 1 mars kl 17.00 på Kin Long i Malmö »

januari 31, 2009

Constraint programming modeller i Comet

Den senaste veckan har constraint programming (och constraint-based local search) systemet Comet kollats in.

Systemet beskrivs i följande två anteckningar på My Constraint Programming Blog (det är där jag håller till mest nuförtiden):
* Comet version 1.1., där finns länkar och övergrippande information om systmet.
* I Some Comet constraint programming (CP) models , som innehåller kommentar om systemet, lite kodexempel samt länkar till modeller.

Mer information om systemet, samt några Comet-modeller finns på My Comet page.

I framtiden kommer jag bl.a. att kolla in mer hur man arbetar med constraint-based local search som klarar av att lösa mycket stora problem. Detta begrepp (med Comet som exempel) beskrivs i den trevliga och inspirerande boken Constraint-Based Local Search skriven av Pascal van av Hentenryck and Laurent Michel (huvudutvecklarna av Comet).

Posted by hakank at januari 31, 2009 12:00 EM Posted to Constraint Programming