Author of the publication

Adaptive Hashing for Model Counting.

, , , , , and . UAI, volume 115 of Proceedings of Machine Learning Research, page 271-280. AUAI Press, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Sampling and Soundness: Can We Have Both?, , , and . New Forms of Reasoning for the Semantic Web, volume 291 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Automated Design of Search with Composability., , , , and . AAAI (Late-Breaking Developments), volume WS-13-17 of AAAI Technical Report, AAAI, (2013)Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability., and . AAAI, page 11209-11219. AAAI Press, (2022)Selecting Near-Optimal Learners via Incremental Data Allocation., , and . AAAI, page 2007-2015. AAAI Press, (2016)Exact Sampling with Integer Linear Programs and Random Perturbations., , and . AAAI, page 3248-3254. AAAI Press, (2016)Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization., , , and . ICML (2), volume 28 of JMLR Workshop and Conference Proceedings, page 334-342. JMLR.org, (2013)SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation)., , , , , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 463-468. Springer, (2012)From Sampling to Model Counting., , , and . IJCAI, page 2293-2299. (2007)Integrating Systematic and Local Search Paradigms: A New Strategy for MaxSAT., , , and . IJCAI, page 544-551. (2009)An Empirical Study of Optimization for Maximizing Diffusion in Networks., , , and . CP, volume 6308 of Lecture Notes in Computer Science, page 514-521. Springer, (2010)