We consider algorithms for finding and counting small, fixed graphs in s...
We present a Karchmer-Wigderson game to study the complexity of hazard-f...
We study homomorphism polynomials, which are polynomials that enumerate ...
Detecting and eliminating logic hazards in Boolean circuits is a fundame...
We study the time complexity of induced subgraph isomorphism problems wh...
The problem of constructing hazard-free Boolean circuits dates back to t...