9 citations · 14 across the 11 of their papers we have counts for
Showing cs.DMShow all
3 papers · 1 filter
cs.DM2019
On Induced Online Ramsey Number of Paths, Cycles, and Trees
Václav Blažej, Pavel Dvořák, Tomáš Valla
An online Ramsey game is a game between Builder and Painter, alternating in turns. They are given a graph and a graph of an infinite set of independent vertices. In each ro…
cs.DM2017★ 2 cited
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Pavel Dvořák, Eduard Eiben, Robert Ganian +2
Integer Linear Programming (ILP) has a broad range of applications in various areas of artificial intelligence. Yet in spite of recent advances, we still lack a thorough understand…
cs.DM2016
Automorphisms of the Cube
Pavel Dvořák, Tomáš Valla
Consider a hypergraph where the vertices are points of the -dimensional combinatorial cube and the edges are all sets of points such that they are in one line.…