works on
dnf model counting 1klee's measure problem 1set coverage 1streaming algorithms 1union size estimation 1

From the 1 of 14 linked papers with an AI index.

activity
20242026
most citedEstimating Size of the Union of Sets in Streaming Model

6 citations · 7 across the 3 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2025

Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification

Yuke Liao, Blaise Genest, Kuldeep Meel +1

To handle complex instances, we revisit a divide-and-conquer approach to break down the complexity: instead of few complex BaB calls, we rely on many small {\em partial} MILP calls…