search line

Authors:

Anne Liret
François Pachet
Pierre Roy

Journal:

ERCIM Workshop on Constraint Programming and Processing

Publisher:

Pages:

Combining Formal Reasoning Techniques and CSP

Abstract