TY - GEN
T1 - The design of COMMA
T2 - 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
AU - Soto, Ricardo
AU - Granvilliers, Laurent
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=48649090189&partnerID=8YFLogxK
U2 - 10.1109/ICTAI.2007.119
DO - 10.1109/ICTAI.2007.119
M3 - Conference contribution
AN - SCOPUS:48649090189
SN - 076953015X
SN - 9780769530154
T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
SP - 243
EP - 250
BT - Proceedings 19th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2007
Y2 - 29 October 2007 through 31 October 2007
ER -