Martin Babka

According to our database, Martin Babka authored at least 6 papers between 2012 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2019

On Online Labeling with Large Label Set.

Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks

SIAM J. Discret. Math., 2019

2018

A Note On the Size of Largest Bins Using Placement With Linear Transformations.

Martin Babka

CoRR, 2018

2015

Expected number of uniformly distributed balls in a most loaded bin using placement with simple linear functions.

Martin Babka

CoRR, 2015

2013

Complexity issues related to propagation completeness.

Martin Babka, Tomás Balyo, Ondrej Cepek, Stefan Gurský, Petr Kucera, Václav Vlcek

Artif. Intell., 2013

Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.

Martin Babka, Tomás Balyo, Jaroslav Keznikl

Proceedings of the Software Engineering Research, 2013

2012

On Online Labeling with Polynomially Many Labels.

Martin Babka, Jan Bulánek, Vladimír Cunát, Michal Koucký, Michael E. Saks

Proceedings of the Algorithms - ESA 2012, 2012