Solution Counting for CSP and SAT with Large Tree-Width / Favier, A., de Givry, S., Jegou, P. (2011)
UkrainianEnglish

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000306608
  Control Systems and Computers   Б - 2020  /     Issue (2011, № 2)

Favier A., de Givry S., Jegou P.
Solution Counting for CSP and SAT with Large Tree-Width

Cite:
Favier, A., de Givry, S., Jegou, P. (2011). Solution Counting for CSP and SAT with Large Tree-Width. Control Systems and Computers, 2, 4-13, 70. http://jnas.nbuv.gov.ua/article/UJRN-0000306608

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209