<iframe src="https://artoistv.univ-artois.fr/video/1442-adapting-cdcl-strategies-for-pb-solvers/83986d0da54a93be5c6864c6f20676476c684080ca94c7a606c2542184bbe4e0/?is_iframe=true" width="640" height="360" style="padding: 0; margin: 0; border:0" allowfullscreen loading='lazy'></iframe>
Adapting CDCL Strategies for PB Solvers
ArtoisTV
https://artoistv.univ-artois.fr/videos/?owner=daniel.leberre
360
https://artoistv.univ-artois.fr
video
640
1.0
Daniel Le Berre