publications

Liret, A., Roy, P. and Pachet, F. Conception par objets d'un système pour combiner raisonnement formel et satisfaction de contraintes. Proceedings of JFLA 98 (Journées Francophones des Langages Applicatifs), Come, Italy, 1998
1998
download document
view details
Liret, A., Roy, P. and Pachet, F. Combining Formal Reasoning Techniques and CSP. ERCIM Workshop on Constraint Programming and Processing, Linz, 1997
1997
download document
view details