Martin Babka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2012–2013
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | SERA | Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas. | Martin Babka, Toms Balyo, Jaroslav Keznikl |
| 2012 | ESA | On Online Labeling with Polynomially Many Labels. | Martin Babka, Jan Bulnek, Vladimr Cunt, Michal Kouck, Michael E. Saks |