Dudek, Jeffrey M.

4 publications

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

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

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

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