The design of COMMA: An extensible framework for mapping constrained objects to native solver models

RICARDO JAVIER SOTO DE GIORGIS, Laurent Granvilliers

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

11 Scopus citations

Abstract

This paper presents the first implementation of COMMA, a new solver independent language for modeling constraint-based problems. The combination of a constraint language with an object-oriented framework represents the base of the core of COMMA. Extension capabilities have also been included with the aim of tackling a wide range of applications from combinatorial to continuous problems. A COMMA compiler has been implemented through a three layered architecture including a dynamic parsing system for handling efficiently the mapping process. In particular, COMMA models can be translated to different solvers, currently to ECLiPSe and Gecode/J.

Original languageEnglish
Title of host publicationProceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
Pages243-250
Number of pages8
DOIs
StatePublished - 1 Dec 2007
Event19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007 - Patras, Greece
Duration: 29 Oct 200731 Oct 2007

Publication series

NameProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Volume1
ISSN (Print)1082-3409

Conference

Conference19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
CountryGreece
CityPatras
Period29/10/0731/10/07

Fingerprint Dive into the research topics of 'The design of COMMA: An extensible framework for mapping constrained objects to native solver models'. Together they form a unique fingerprint.

Cite this