20 citations · 171 across the 37 of their papers we have counts for
4 papers · 1 filter
The excluded minors for isometric realizability in the plane
Samuel Fiorini, Tony Huynh, Gwenaël Joret +1
Let be a graph and . The parameter is the least integer such that for all and all vectors , there…
Tree-chromatic number is not equal to path-chromatic number
Tony Huynh, Ringi Kim
For a graph and a tree-decomposition of , the chromatic number of is the maximum of , taken over all bags .…
Transfinite Ford-Fulkerson on a Finite Network
Spencer Backman, Tony Huynh
It is well-known that the Ford-Fulkerson algorithm for finding a maximum flow in a network need not terminate if we allow the arc capacities to take irrational values. Every non-te…
Space proof complexity for random 3-CNFs
Patrick Bennett, Ilario Bonacina, Nicola Galesi +3
We investigate the space complexity of refuting -CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random -CNF…