Theory and Applications of Satisfiability Testing

Event name
Theory and Applications of Satisfiability Testing
 
Event type
Event for scientific audience
 
Start date
03-07-2020
End date
10-07-2020
 
Location
Alghero
Country
Italy
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Slivovsky, Friedrich ; Szeider, Stefan A Faster Algorithm for Propositional Model Counting Parameterized by Incidence TreewidthKonferenzbeitrag Inproceedings 2020