21st International Conference on Theory and Applications of Satisfiability Testing (SAT)

Event name
21st International Conference on Theory and Applications of Satisfiability Testing (SAT)
 
Start date
09-07-2018
End date
12-07-2018
 
Location
Oxford, UK
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Suda, Martin ; Gleiss, Bernhard ; Beyersdorff, Olaf ; Wintersteiger, Christoph M. Local Soundness for QBF CalculiKonferenzbeitrag Inproceedings 2018