Показ 1 - 2 результатів із 2 для пошуку 'de Givry, S.', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    Solution Counting for CSP and SAT with Large Tree-Width
    за авторством Favier, A., de Givry, S., Jégou, P.
    Опубліковано 2011
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Untitled
    за авторством A. Favier, S. de Givry, P. Jegou
    Опубліковано 2011
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою