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

RICARDO JAVIER SOTO DE GIORGIS, Laurent Granvilliers

Resultado de la investigación: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

11 Citas (Scopus)

Resumen

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.

Idioma originalInglés
Título de la publicación alojadaProceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
Páginas243-250
Número de páginas8
DOI
EstadoPublicada - 1 dic 2007
Evento19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007 - Patras, Grecia
Duración: 29 oct 200731 oct 2007

Serie de la publicación

NombreProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
Volumen1
ISSN (versión impresa)1082-3409

Conferencia

Conferencia19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
País/TerritorioGrecia
CiudadPatras
Período29/10/0731/10/07

Huella

Profundice en los temas de investigación de 'The design of COMMA: An extensible framework for mapping constrained objects to native solver models'. En conjunto forman una huella única.

Citar esto