Jeffrey M. Dudek

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 17

Top Topics

Weighted Model Counting

Probabilistic Inference

Algebraic Decision Diagrams

Top Venues

Publications

Weize Kong, Jeffrey M. Dudek, Cheng Li, Mingyang Zhang, Michael Bendersky
SparseEmbed: Learning Sparse Lexical Representations with Contextual Embeddings for Retrieval. SIGIR (2023)
Jeffrey M. Dudek, Weize Kong, Cheng Li, Mingyang Zhang, Michael Bendersky
Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval. CIKM (2023)
Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi
DPSampler: Exact Weighted Sampling Using Dynamic Programming. IJCAI (2022)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT (2021)
Jeffrey M. Dudek, Moshe Y. Vardi
Parallel Weighted Model Counting with Tensor Networks. CoRR (2020)
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Taming Discrete Integration via the Boon of Dimensionality. CoRR (2020)
Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. AAAI (2020)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CoRR (2020)
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Taming Discrete Integration via the Boon of Dimensionality. NeurIPS (2020)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CP (2020)
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. CoRR (2019)
Jeffrey M. Dudek, Dror Fried
Transformations of Boolean Functions. FSTTCS (2019)
Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions. CoRR (2019)
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI (2017)
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
Combining the k-CNF and XOR Phase-Transitions. CoRR (2017)
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. CoRR (2017)
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
Combining the k-CNF and XOR Phase-Transitions. IJCAI (2016)