International Workshop on Pragmatics of SAT (POS)

View Statistics Email Alert RSS Feed

Description

Event name
International Workshop on Pragmatics of SAT (POS)
 
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.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fröhlich, Andreas ; Kovasznai, Gergely ; Biere, Armin ; Veith, Helmut On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector LogicKonferenzbeitrag Inproceedings2014