Jeffrey M. Dudek
Jeffrey M. Dudek
Verifierad e-postadress på rice.edu
Titel
Citeras av
Citeras av
År
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
82017
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
7*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
42019
Taming discrete integration via the boon of dimensionality
JM Dudek, D Fried, KS Meel
arXiv preprint arXiv:2010.10724, 2020
12020
Parallel weighted model counting with tensor networks
JM Dudek, MY Vardi
Model Counting Workshop, 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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–9