The 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)

Event name
The 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
 
Event type
Event for scientific audience
 
Start date
02-08-2022
End date
05-08-2022
 
Location
Haifa
Country
Israel
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-2022