| 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 | 43 | 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 | 25 | 2020 |
| Efficient contraction of large tensor networks for weighted model counting through graph decompositions JM Dudek, L Duenas-Osorio, MY Vardi arXiv preprint arXiv:1908.04381, 2019 | 23 | 2019 |
| Procount: Weighted projected model counting with graded project-join trees JM Dudek, VHN Phan, MY Vardi Theory and Applications of Satisfiability Testing–SAT 2021: 24th …, 2021 | 18 | 2021 |
| Combining the k-CNF and XOR Phase-Transitions JM Dudek, KS Meel, MY Vardi IJCAI, 2016 | 16 | 2016 |
| The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas JM Dudek, KS Meel, MY Vardi IJCAI, 2017 | 15 | 2017 |
| Parallel weighted model counting with tensor networks JM Dudek, MY Vardi Model Counting Workshop, 2020 | 10 | 2020 |
| Taming discrete integration via the boon of dimensionality JM Dudek, D Fried, KS Meel Advances in Neural Information Processing Systems 33 (NeurIPS 2020), 2020 | 6 | 2020 |
| SparseEmbed: Learning sparse lexical representations with contextual embeddings for retrieval W Kong, JM Dudek, C Li, M Zhang, M Bendersky Proceedings of the 46th International ACM SIGIR Conference on Research and …, 2023 | 3 | 2023 |
| DPSampler: Exact Weighted Sampling Using Dynamic Programming. JM Dudek, AA Shrotri, MY Vardi IJCAI, 1795-1803, 2022 | 2 | 2022 |
| Planning and execution for discrete integration JM Dudek Rice University, 2021 | 2 | 2021 |
| Random CNF-XOR Formulas JM Dudek Rice University, 2017 | 2 | 2017 |
| Ising Model Partition Function Computation as a Weighted Counting Problem SA Nagy, R Paredes, JM Dudek, L Dueñas-Osorio, MY Vardi arXiv preprint arXiv:2212.12812, 2022 | 1 | 2022 |
| Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval JM Dudek, W Kong, C Li, M Zhang, M Bendersky Proceedings of the 32nd ACM International Conference on Information and …, 2023 | | 2023 |
| Transformations of Boolean functions JM Dudek, D Fried 39th IARCS Annual Conference on Foundations of Software Technology and …, 2019 | | 2019 |
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
