International Workshop on Quantification (QUANTIFY)
Event name
International Workshop on Quantification (QUANTIFY)
Event type
Event for scientific audience
Start date
18-07-2014
Location
Wien
Country
Austria
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Kovasznai, Gergely ; Fröhlich, Andreas ; Biere, Armin | EPR Encodings of Bit-Vector Problems Even With Quantifiers | Präsentation Presentation | 2014 | |
2 | Egly, Uwe | Quantifier handling in calculi for quantified Boolean formulas | Präsentation Presentation | 2014 |