Ricardo Soto, Laurent Granvilliers. The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. In 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1. pages 243-250, IEEE Computer Society, 2007. [doi]
Abstract is missing.