3 papers
math.CO2026
Resolving problems on the polynomial identity characterization of daisy cubes
Xuan Zheng, Yan-Ting Xie, Shou-Jun Xu
Let be a set of binary strings of length . The daisy cube is the subgraph of the hypercube induced by the union of the intervals …
math.CO2025
Characterizing circle graphs with binomial partial Petrial polynomials
Ruiqing Feng, Qi Yan, Xuan Zheng
The partial Petrial polynomial was first introduced by Gross, Mansour, and Tucker as a generating function that enumerates the Euler genera of all possible partial Petrials on a ri…
cs.SE2024
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure
Xuan Zheng, Tim Blackmore, James Buckingham +1
Novel test selectors have demonstrated their effectiveness in accelerating the closure of functional coverage for various industrial digital designs in simulation-based verificatio…