5 citations · 7 across the 4 of their papers we have counts for
4 papers
E2C: A Visual Simulator to Reinforce Education of Heterogeneous Computing Systems
Ali Mokhtari, Drake Rawls, Tony Huynh +2
With the increasing popularity of accelerator technologies (e.g., GPUs and TPUs) and the emergence of domain-specific computing via ASICs and FPGA, the matter of heterogeneity and…
Product structure of graph classes with bounded treewidth
Rutger Campbell, Katie Clinch, Marc Distel +8
We show that many graphs with bounded treewidth can be described as subgraphs of the strong product of a graph with smaller treewidth and a bounded-size complete graph. To this end…
Space proof complexity for random -CNFs via a -Hall's Theorem
Ilario Bonacina, Nicola Galesi, Tony Huynh +1
We investigate the space complexity of refuting -CNFs in Resolution and algebraic systems. No lower bound for refuting any family of -CNFs was previously known for the total…
On Hilbert bases of cuts
Luis Goddyn, Tony Huynh, Tanmay Deshpande
A Hilbert basis is a set of vectors X such that the integer cone (semigroup) generated by X is the intersection of the lattice generated by X with the cone generated by X. Define a…