Результати пошуку - S. de Givry

  • Показ 1 - 2 результатів із 2
Уточнити результати
  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
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: