Circuits, Proofs and Propositional Model Counting

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

Abstract is missing.