Vojtech Vorel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MFCS | Lower Bounds on Avoiding Thresholds. | Robert Ferens, Marek Szykula, Vojtech Vorel |
| 2017 | SAT | A Lower Bound on CNF Encodings of the At-Most-One Constraint. | Petr Kucera, Petr Savick, Vojtech Vorel |
| 2016 | DLT | An Extremal Series of Eulerian Synchronizing Automata. | Marek Szykula, Vojtech Vorel |
| 2015 | LATA | Complexity of Road Coloring with Prescribed Reset Words. | Vojtech Vorel, Adam Roman |
| 2014 | LATA | Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata. | Vojtech Vorel |