DNF Sparsification and a Faster Deterministic Counting Algorithm | IEEE Conference Publication | IEEE Xplore
  翻译: