Eric Monfroy Christophe Ringeissen An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. 167-187 1999 39 Fundam. Inform. 1-2 db/journals/fuin/fuin39.html#MonfroyR99