30 citations · 90 across the 27 of their papers we have counts for
4 papers · 1 filter
Massively Parallel Proof-Number Search for Impartial Games and Beyond
Tomáš Čížek, Martin Balko, Martin Schmid
Proof-Number Search is a best-first search algorithm with many successful applications, especially in game solving. As large-scale computing clusters become increasingly accessible…
Crossing and non-crossing families
Todor Antić, Martin Balko, Birgit Vogtenhuber
For a finite set of points in the plane in general position, a \emph{crossing family} of size in is a collection of line segments with endpoints in that are pai…
Faces in rectilinear drawings of complete graphs
Martin Balko, Anna Brötzner, Fabian Klute +1
We initiate the study of extremal problems about faces in convex rectilinear drawings of~, that is, drawings where vertices are represented by points in the plane in convex po…
A Survey on Ordered Ramsey Numbers
Martin Balko
The ordered Ramsey number of a graph with a linearly ordered vertex set is the smallest positive integer such that any two-coloring of the edges of the ordered complete g…