Результати пошуку - S. de Givry
- Показ 1 - 2 результатів із 2
-
1
Solution Counting for CSP and SAT with Large Tree-Width за авторством Favier, A., de Givry, S., Jégou, P.
Опубліковано в: Управляющие системы и машины (2011)Отримати повний текст
Стаття -
2
Untitled за авторством A. Favier, S. de Givry, P. Jegou
Опубліковано 2011Отримати повний текст
Стаття