Phase Transition Behavior of Cardinality and XOR Constraints

22 October 2019

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

6 / 6 papers shown

Title
On Continuous Local BDD-Based Search for Hybrid SAT Solving Anastasios Kyrillidis Moshe Y. Vardi Zhiwei Zhang 21 8 0 14 Dec 2020
Taming Discrete Integration via the Boon of Dimensionality Jeffrey M. Dudek Dror Fried Kuldeep S. Meel 57 4 0 21 Oct 2020
Phase Transition Behavior in Knowledge Compilation Rahul Gupta Subhajit Roy Kuldeep S. Meel 13 3 0 20 Jul 2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry T. Bremen Ondrej Kuzelka TPM 36 7 0 15 Jan 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints Anastasios Kyrillidis Anshumali Shrivastava Moshe Y. Vardi Zhiwei Zhang 55 16 0 02 Dec 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 89 105 0 25 Jun 2019