Return to Article Details Methodology for modeling electricity markets using concurrent constraint programming