Jeffrey M. Dudek

17 papers A* 6A 3Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2023	A	`conf`	Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval. CIKM Jeffrey M. Dudek, Weize Kong, Cheng Li, Mingyang Zhang, Michael Bendersky
2023	A*	`conf`	SparseEmbed: Learning Sparse Lexical Representations with Contextual Embeddings for Retrieval. SIGIR Weize Kong, Jeffrey M. Dudek, Cheng Li, Mingyang Zhang, Michael Bendersky
2022	A*	`conf`	DPSampler: Exact Weighted Sampling Using Dynamic Programming. IJCAI Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi
2021	A	`conf`	ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. SAT Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
2020	A*	`conf`	ADDMC: Weighted Model Counting with Algebraic Decision Diagrams. AAAI Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi
2020	A	`conf`	DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CP Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
2020	J	`jnl`	DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees. CoRR Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
2020	J	`jnl`	Parallel Weighted Model Counting with Tensor Networks. CoRR Jeffrey M. Dudek, Moshe Y. Vardi
2020	A*	`conf`	Taming Discrete Integration via the Boon of Dimensionality. NeurIPS Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
2020	J	`jnl`	Taming Discrete Integration via the Boon of Dimensionality. CoRR Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
2019	J	`jnl`	ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams. CoRR Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi
2019	J	`jnl`	Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions. CoRR Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi
2019	—	`conf`	Transformations of Boolean Functions. FSTTCS Jeffrey M. Dudek, Dror Fried
2017	J	`jnl`	Combining the k-CNF and XOR Phase-Transitions. CoRR Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2017	A*	`conf`	The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. IJCAI Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2017	J	`jnl`	The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. CoRR Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
2016	A*	`conf`	Combining the k-CNF and XOR Phase-Transitions. IJCAI Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi