← Back to papers
2015 IJCAI IJCAI 2015

From Weighted to Unweighted Model Counting

Authors

Supratik Chakraborty , Dror Fried , Kuldeep S. Meel , Moshe Y. Vardi
Download PDF

Related papers

Fixing Tournaments for Kings, Chokers, and More 2015
A Characterization of n-Player Strongly Monotone Scheduling Mechanisms 2015
Limited Lookahead in Imperfect-Information Games 2015
Impartial Peer Review 2015
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning 2015