Phase Transition Behavior of Cardinality and XOR Constraints

22 October 2019

Papers citing "Phase Transition Behavior of Cardinality and XOR Constraints"

3 / 3 papers shown

Title
Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi 44 158 0 11 Apr 2014
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization Stefano Ermon Carla P. Gomes Ashish Sabharwal B. Selman 35 131 0 27 Feb 2013
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting Carmel Domshlak Jörg Hoffmann TPM 72 108 0 31 Oct 2011