<iframe src="https://artoistv.univ-artois.fr/video/1440-tinted-detached-and-lazy-cnf-xor-solving-and-its-applications-to-counting-and-sampling/5b878212e8f46970600521c88a21f58647bded340811178db5ad84bd5cf3e2ec/?is_iframe=true" width="640" height="360" style="padding: 0; margin: 0; border:0" allowfullscreen loading='lazy'></iframe>
Tinted, Detached, and Lazy CNF-XOR solving and its Applications to Counting and Sampling
ArtoisTV
https://artoistv.univ-artois.fr/videos/?owner=daniel.leberre
360
https://artoistv.univ-artois.fr
video
640
1.0
Daniel Le Berre