Full name Familienname, Vorname
Janota, Mikolás
 

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

PreviewAuthor(s)TitleTypeIssue Date
1Janota, Mikolás ; Jordan, Charles ; Klieber, Will ; Lonsing, Florian ; Seidl, Martina ; Van Gelder, Allen The QBF Gallery 2014: The QBF Competition at the FLoC Olympic GamesArtikel Article 2016
2Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2015
3Balabanov, Valeriy ; Jiang, Jie-Hong R. ; Janota, Mikolás ; Widl, Magdalena Efficient Extraction of QBF (Counter)models from Long-Distance Resolution ProofsKonferenzbeitrag Inproceedings 2014