Результати пошуку - Favier, A.

  • Показ 1 - 1 результатів із 1
Уточнити результати
  1. 1
    Зображення обкладинки

    Solution Counting for CSP and SAT with Large Tree-Width за авторством Favier, A., de Givry, S., Jégou, P.

    Опубліковано в: Управляющие системы и машины (2011)
    Отримати повний текст
    Стаття

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

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