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 | 5 | 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 S Nagy, R Paredes, JM Dudek, L Dueñas-Osorio, MY Vardi Physical Review E 109 (5), 055301, 2024 | 1 | 2024 |
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 |