CB
Christian Bessiere
1
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
|
|
Local Consistencies in SATSAT: Theory and Applications of Satisfiability Testing, May 2003, Santa Margherita Ligure, Italy. pp.400-407
Communication dans un congrès
lirmm-00269776v1
|