SAT: International Conference on Theory and Applications of Satisfiability Testing 2017

Event name
SAT: International Conference on Theory and Applications of Satisfiability Testing 2017
 
Event type
Event for scientific audience
 
Start date
28-08-2017
End date
01-09-2017
 
Location
Melbourne
Country
Australia
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Peitl Tomas - 2017 - Dependency Learning for QBF.pdf.jpgPeitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Dependency Learning for QBFInproceedings Konferenzbeitrag 2017