Combining the k-CNF and XOR Phase-Transitions. - Jeffrey M. Dudek; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2016)

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. - Jeffrey M. Dudek; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2017)

Transformations of Boolean Functions. - Jeffrey M. Dudek; Dror Fried (FSTTCS, 2019)

ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. - Jeffrey M. Dudek; Vu H. N. Phan; Moshe Y. Vardi (CoRR, 2019)

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions. - Jeffrey M. Dudek; Leonardo Dueñas-Osorio; Moshe Y. Vardi (CoRR, 2019)

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. - Jeffrey M. Dudek; Vu Phan; Moshe Y. Vardi (AAAI, 2020)

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. - Jeffrey M. Dudek; Vu H. N. Phan; Moshe Y. Vardi (CP, 2020)

Taming Discrete Integration via the Boon of Dimensionality. - Jeffrey M. Dudek; Dror Fried; Kuldeep S. Meel (NeurIPS, 2020)

Parallel Weighted Model Counting with Tensor Networks. - Jeffrey M. Dudek; Moshe Y. Vardi (CoRR, 2020)

ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. - Jeffrey M. Dudek; Vu H. N. Phan; Moshe Y. Vardi (SAT, 2021)

DPSampler: Exact Weighted Sampling Using Dynamic Programming. - Jeffrey M. Dudek; Aditya A. Shrotri; Moshe Y. Vardi (IJCAI, 2022)

Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval. - Jeffrey M. Dudek; Weize Kong; Cheng Li 012; Mingyang Zhang 001; Michael Bendersky (CIKM, 2023)

SparseEmbed: Learning Sparse Lexical Representations with Contextual Embeddings for Retrieval. - Weize Kong; Jeffrey M. Dudek; Cheng Li 012; Mingyang Zhang 001; Michael Bendersky (SIGIR, 2023)