International Workshop on Quantification (QUANTIFY)

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kovasznai, Gergely ; Fröhlich, Andreas ; Biere, Armin EPR Encodings of Bit-Vector Problems Even With QuantifiersPräsentation Presentation2014
2Egly, Uwe Quantifier handling in calculi for quantified Boolean formulasPräsentation Presentation2014