External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Sravanthi Chede

This author has not been identified. Look up 'Sravanthi Chede' in Google

Leroy Chew

This author has not been identified. Look up 'Leroy Chew' in Google

Anil Shukla

This author has not been identified. Look up 'Anil Shukla' in Google
runs on