Chao Xu

activity

20152026

most citedDealing With 4-Variables by Resolution: An Improved MaxSAT Algorithm

2 citations · 4 across the 7 of their papers we have counts for

collaborators

Showing math.COShow all

2 papers · 1 filter

math.CO2026

Sharp Bounds on the Number of Small Cuts

Chao Xu, Mingdong Yang

Let $λ$ be the minimum cut value of an $n$ -vertex undirected multigraph. For every fixed $α > 1$ , we prove that there are $O (n^{⌈ 2 α ⌉ - 1})$ cuts of size strictly below $α λ$ .…

math.CO2023

On the Congruency-Constrained Matroid Base

Siyue Liu, Chao Xu

Consider a matroid where all elements are labeled with an element in $Z$ . We are interested in finding a base where the sum of the labels is congruent to $g (mod m)$ . We s…