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:
1999
PDF
WWW
BIBtext
DOI
Constraints Satisfaction and Symbolic Reasoning for Reactive Control Systems
Abstract
Journal: Proceedings of the First Workshop on Constraints in Control, Constraint Programming Conference