| Combining the k-CNF and XOR Phase-Transitions JM Dudek, KS Meel, MY Vardi IJCAI, 2017 | 14 | 2017 |
| The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas JM Dudek, KS Meel, MY Vardi IJCAI, 2017 | 9 | 2017 |
| ADDMC: weighted model counting with algebraic decision diagrams J Dudek, V Phan, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1468-1476, 2020 | 6* | 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 | 3 | 2019 |
| Parallel weighted model counting with tensor networks JM Dudek, MY Vardi Model Counting Workshop, 2020 | 1 | 2020 |
| Random CNF-XOR Formulas JM Dudek | 1 | 2017 |
| Taming discrete integration via the boon of dimensionality JM Dudek, D Fried, KS Meel arXiv preprint arXiv:2010.10724, 2020 | | 2020 |
| 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 |
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
