Jeffrey M. Dudek

2 papers · 2017–2022 · 1 conference · across top CS/AI conferences

Achievements

🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (14)

Conferences

IJCAI (2)

Top co-authors

Moshe Y. Vardi (2) Aditya A. Shrotri (1) Kuldeep S. Meel (1)

Keywords

bayesian inference (1) dynamic programming (1) constraint satisfaction (1) phase transition (1) sat solver (1) algebraic decision diagram (1) model counting (1) weighted sampling (1) boolean formula (1) cnf-xor formula (1) xor reasoning (1) random formula (1) exact weighted sampling (1)

Papers

DPSampler: Exact Weighted Sampling Using Dynamic Programming IJCAI 2022

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017