ML Anthology

Nawrocki, Wojciech

1 publications

JAIR 2025 Certified Knowledge Compilation with Application to Formally Verified Model Counting Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule