@misc{indiciaedd0fb3f3f2a8,
  title = {Certified Knowledge Compilation with Application to Formally Verified Model Counting},
  author = {Randal E. Bryant and Wojciech Nawrocki and Jeremy Avigad and Marijn J. H. Heule},
  year = {2025},
  url = {https://arxiv.org/abs/2501.12906},
  note = {Source identifier: 2501.12906}
}