@article{UM_2015__23_2_a2,
     author = {Honz{\'\i}k, Luk\'a\v{s} and Hora, Jaroslav and Ka\v{s}parov\'a, Martina},
     title = {Vyu\v{z}it{\'\i} eliminace kvantifik\'ator\r{u} v \v{r}e\v{s}en{\'\i} jednoduch\'ych optimaliza\v{c}n{\'\i}ch \'uloh},
     journal = {U\v{c}itel matematiky},
     pages = {91--104},
     publisher = {mathdoc},
     volume = {23},
     number = {2},
     year = {2015},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/item/UM_2015__23_2_a2/}
}