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

 

Institute of Information Technologies of VNLU


+38 (044) 525-36-24
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209