Sravanthi Chede, Leroy Chew, Anil Shukla. Circuits, Proofs and Propositional Model Counting. In Siddharth Barman, Slawomir Lasota 0001, editors, 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2024, December 16-18, 2024, Gandhinagar, Gujarat, India. Volume 323 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.