Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

21 December 2015

Papers citing "Constrained Sampling and Counting: Universal Hashing Meets SAT Solving"

8 / 8 papers shown

Title
Systematic Parameter Decision in Approximate Model Counting Jinping Lei Toru Takisaka Junqiang Peng Mingyu Xiao 74 0 0 08 Apr 2025
Learning what matters - Sampling interesting patterns V. Dzyuba M. Leeuwen 39 12 0 07 Feb 2017
Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi 52 158 0 11 Apr 2014
Optimization With Parity Constraints: From Binary Codes to Discrete Integration Stefano Ermon Carla P. Gomes Ashish Sabharwal B. Selman 54 36 0 26 Sep 2013
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization Stefano Ermon Carla P. Gomes Ashish Sabharwal B. Selman 45 131 0 27 Feb 2013
Uniform Solution Sampling Using a Constraint Solver As an Oracle Stefano Ermon Carla P. Gomes B. Selman 72 67 0 16 Oct 2012
Complexity Results and Approximation Strategies for MAP Explanations Adnan Darwiche J. Park FAtt 90 221 0 30 Jun 2011
The Good Old Davis-Putnam Procedure Helps Counting Models Elazar Birnbaum E. L. Lozinskii 69 143 0 01 Jun 2011