Name Card

Full name Familienname, Vorname
Goultiaeva, Alexandra
 

Own Publications Eigene Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Goultiaeva, Alexandra ; Seidl, Martina ; Biere, Armin Bridging the gap between dual propagation and CNF-based QBF solvingKonferenzbeitrag Inproceedings 2013