Skip to content

About us
- Vision
CSL Labs
Members
Research Teams
Activity
News
Contacts
- Jobs

Menu

About us
- Vision
CSL Labs
Members
Research Teams
Activity
News
Contacts
- Jobs

Publication

Authors:

Anne Liret
François Pachet
Pierre Roy

Year:
1997

Combining Formal Reasoning Techniques and CSP

Abstract

Journal: ERCIM Workshop on Constraint Programming and Processing

Sony Computer Science Laboratories – Paris

6, rue Amyot, 75005 Paris, France.

Tel: +33-1-44-08-05-01
Fax: +33-1-45-87-87-50
E-mail: info -at- csl.sony.fr

Follow Us

Linkedin-in Twitter Youtube

© 2022 Sony Computer Science Laboratories

Terms and conditions

FR

EN

Privacy

FR

EN