16th International Conference on Theory and Applications of Satisfiability Testing

Event name
16th International Conference on Theory and Applications of Satisfiability Testing
 
Event type
Event for scientific audience
 
Start date
08-07-2013
End date
12-07-2013
 
Location
Helsinki
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Lonsing, Florian ; Egly, Uwe ; Van Gelder, Allen Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit PropagationKonferenzbeitrag Inproceedings 2013
2Lonsing, Florian ; Seidl, Martina The QBF Gallery 2013Präsentation Presentation2013