Skip to content
About us
Vision
CSL Labs
Sony CSL
Sony CSL Kyoto
Sony CSL Rome
Members
Research Teams
Language
Music
Infosphere
Sustainability
Activity
Seminars
Projects
Publications
News
Contacts
Jobs
Menu
About us
Vision
CSL Labs
Sony CSL
Sony CSL Kyoto
Sony CSL Rome
Members
Research Teams
Language
Music
Infosphere
Sustainability
Activity
Seminars
Projects
Publications
News
Contacts
Jobs
Publication
Authors:
Anne Liret
François Pachet
Pierre Roy
Year:
1997
PDF
WWW
BIBtext
DOI
Combining Formal Reasoning Techniques and CSP
Abstract
Journal: ERCIM Workshop on Constraint Programming and Processing
