Dudek, Jeffrey M.

1. ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
   2019/07/11 by Dudek, Jeffrey M., Phan, Vu H. N., Vardi, Moshe Y. · 3 citations
   #Artificial Intelligence (cs.AI) #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. DPMC: Weighted Model Counting by Dynamic Programming on Project-Join\n Trees
   2020/08/19 by Jeffrey M. Dudek, Vu H. N. Phan, Dudek, Jeffrey M. +3 · 3 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
3. Ising Model Partition Function Computation as a Weighted Counting Problem
   2022/12/24 by Nagy, Shaan A., Paredes, Roger, Dudek, Jeffrey M. +2 · 2 citations
   #Computational Physics (physics.comp-ph) #FOS: Physical sciences #Statistical Mechanics (cond-mat.stat-mech)
4. Parallel Weighted Model Counting with Tensor Networks
   2020/06/28 by Dudek, Jeffrey M., Vardi, Moshe Y. · 1 citation
   #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences