2nd International Workshop on Quantified Boolean Formulas

View Statistics Email Alert RSS Feed

Description

Event name
2nd International Workshop on Quantified Boolean Formulas
 
Event type
Event for scientific audience
 
Start date
13-07-2014
Location
Wien
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2014