44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)

Book title Buchtitel
44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024)
 
ISBN
978-3-95977-355-3
 
Editor Herausgeber_in
 
Publisher Verlag
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
 
DOI
10.4230/LIPIcs.FSTTCS.2024
 
Volume Band
323
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chede-2024-Circuits, Proofs and Propositional Model Counting-vor.pdf.jpgChede, Sravanthi ; Chew, Leroy Nicholas ; Shukla, Anil Circuits, Proofs and Propositional Model CountingInproceedings Konferenzbeitrag 5-Dec-2024