publications

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