Open Science Harvester of NAS of Ukraine

Untitled

by A. Favier, S. de Givry, P. Jegou
Published 2011

Solution Counting for CSP and SAT with Large Tree-Width

by Favier, A., de Givry, S., Jégou, P.
Published in Управляющие системы и машины (2011)