EasyChair Smart Slide
Certified Knowledge Compilation with Application to Verified Model Counting
Certified Knowledge Compilation with Application to Verified Model Counting