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

Event name
SAT: International Conference on Theory and Applications of Satisfiability Testing 2016
 
Event type
Event for scientific audience
 
Start date
05-07-2016
End date
08-07-2016
 
Location
Bordeaux
Country
France
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Peitl Tomas - 2016 - Long Distance Q-Resolution with Dependency Schemes.pdf.jpgPeitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Long Distance Q-Resolution with Dependency SchemesInproceedings Konferenzbeitrag 2016