loading...
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models
Paris, France October 29-October 31
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.11919th IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ricardo Soto, Laurent Granvilliers, "The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models," Tools with Artificial Intelligence, IEEE International Conference on, vol. 1, pp. 243-250, 19th IEEE International Conference on Tools with Artificial Intelligence - Vol.1 (ICTAI 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICTAI.2007.119,
author = {Ricardo Soto and Laurent Granvilliers},
title = {The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models},
journal ={Tools with Artificial Intelligence, IEEE International Conference on},
volume = {1},
year = {2007},
issn = {1082-3409},
pages = {243-250},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.119},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Tools with Artificial Intelligence, IEEE International Conference on
TI - The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models
SN - 1082-3409
SP243
EP250
A1 - Ricardo Soto,
A1 - Laurent Granvilliers,
PY - 2007
VL - 1
JA - Tools with Artificial Intelligence, IEEE International Conference on
ER -
 
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 applica- tions from combinatorial to continuous problems. A COMMA compiler has been implemented through a three layered architecture including a dynamic parsing system for han- dling efficiently the mapping process. In particular, COMMA models can be translated to different solvers, currently to ECLiPSe and Gecode/J.
Citation:
Ricardo Soto, Laurent Granvilliers, "The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models," ictai, vol. 1, pp.243-250, 19th IEEE International Conference on Tools with Artificial Intelligence - Vol.1 (ICTAI 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.