Jeffrey M. Dudek
Jeffrey M. Dudek
Dirección de correo verificada de rice.edu
Título
Citado por
Citado por
Año
Combining the k-CNF and XOR Phase-Transitions
JM Dudek, KS Meel, MY Vardi
IJCAI, 2017
142017
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas
JM Dudek, KS Meel, MY Vardi
IJCAI, 2017
92017
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
32019
Parallel weighted model counting with tensor networks
JM Dudek, MY Vardi
Model Counting Workshop, 2020
12020
Random CNF-XOR Formulas
JM Dudek
12017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9