On Online Labeling with Polynomially Many Labels. - Martin Babka; Jan Bulánek; Vladimír Cunát; Michal Koucký 001; Michael E. Saks (ESA, 2012)

Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas. - Martin Babka; Tomás Balyo; Jaroslav Keznikl (SERA (selected papers), 2013)

Complexity issues related to propagation completeness. - Martin Babka; Tomás Balyo; Ondrej Cepek; Stefan Gurský; Petr Kucera; Václav Vlcek (Artif. Intell., 2013)

Expected number of uniformly distributed balls in a most loaded bin using placement with simple linear functions. - Martin Babka (CoRR, 2015)

A Note On the Size of Largest Bins Using Placement With Linear Transformations. - Martin Babka (CoRR, 2018)

On Online Labeling with Large Label Set. - Martin Babka; Jan Bulánek; Vladimír Cunát; Michal Koucký 001; Michael E. Saks (SIAM J. Discret. Math., 2019)