COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.

Carlos Castro

Browse the full AISC paper archive.