Stefan Gursk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | IJCAI | On Minimum Representations of Matched Formulas (Extended Abstract). | Ondrej Cepek, Stefan Gursk, Petr Kucera |
| 2014 | ISAIM | On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas. | Ondrej Cepek, Stefan Gursk |
| 2012 | ISAIM | On hierarchies over the SLUR class. | Vclav Vlcek, Toms Balyo, Stefan Gursk, Petr Kucera |