Jeffrey M. Dudek
Jeffrey M. Dudek
Verified email at rice.edu
Title
Cited by
Cited by
Year
Combining the k-CNF and XOR Phase-Transitions
JM Dudek, KS Meel, MY Vardi
IJCAI, 2017
132017
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas
JM Dudek, KS Meel, MY Vardi
IJCAI, 2017
82017
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams.
JM Dudek, V Phan, MY Vardi
AAAI, 1468-1476, 2020
4*2020
Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions
JM Dudek, L Dueñas-Osorio, MY Vardi
arXiv preprint arXiv:1908.04381, 2019
32019
Parallel weighted model counting with tensor networks
JM Dudek, MY Vardi
arXiv preprint arXiv:2006.15512, 2020
12020
Random CNF-XOR Formulas
JM Dudek
12017
DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees
JM Dudek, VHN Phan, MY Vardi
International Conference on Principles and Practice of Constraint …, 2020
2020
Transformations of Boolean Functions
JM Dudek, D Fried
39th IARCS Annual Conference on Foundations of Software Technology and …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–8