Distribution-Aware Sampling and Weighted Model Counting for SAT

11 April 2014

Papers citing "Distribution-Aware Sampling and Weighted Model Counting for SAT"

27 / 27 papers shown

Title
Systematic Parameter Decision in Approximate Model Counting Jinping Lei Toru Takisaka Junqiang Peng Mingyu Xiao 106 0 0 08 Apr 2025
IASCAR: Incremental Answer Set Counting by Anytime Refinement Johannes Fichte S. A. Gaggl Markus Hecher Dominik Rusovac 30 1 0 13 Nov 2023
McFIL: Model Counting Functionality-Inherent Leakage Maximilian Zinkus Yinzhi Cao M. Green 28 2 0 09 Jun 2023
X-MEN: Guaranteed XOR-Maximum Entropy Constrained Inverse Reinforcement Learning Fan Ding Yeiang Xue 41 7 0 22 Mar 2022
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 84 32 0 09 Jun 2021
The Model Counting Competition 2020 Johannes Fichte Markus Hecher Florim Hamiti LRM 45 66 0 02 Dec 2020
Taming Discrete Integration via the Boon of Dimensionality Jeffrey M. Dudek Dror Fried Kuldeep S. Meel 57 4 0 21 Oct 2020
Justicia: A Stochastic SAT Approach to Formally Verify Fairness Bishwamittra Ghosh D. Basu Kuldeep S. Meel 159 41 0 14 Sep 2020
Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains Vaishak Belle NAI LRM 106 36 0 15 Jun 2020
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice Kuldeep S. Meel S. Akshay 43 27 0 30 Apr 2020
On the Approximability of Weighted Model Integration on DNF Structures Ralph Abboud .Ismail .Ilkan Ceylan Radoslav Dimitrov TPM 39 5 0 17 Feb 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
Predicting Performance of Software Configurations: There is no Silver Bullet A. Grebhahn Norbert Siegmund S. Apel 54 14 0 28 Nov 2019
Phase Transition Behavior of Cardinality and XOR Constraints Yash Pote Saurabh Joshi Kuldeep S. Meel 51 12 0 22 Oct 2019
ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance R. Krishna Chong Tang K. Sullivan Baishakhi Ray 29 13 0 17 Oct 2019
Towards Efficient Discrete Integration via Adaptive Quantile Queries Fan Ding Hanjing Wang Ashish Sabharwal Yexiang Xue 56 4 0 13 Oct 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
Efficient Search-Based Weighted Model Integration Zhe Zeng Guy Van den Broeck TPM 99 24 0 13 Mar 2019
Approximate Knowledge Compilation by Online Collapsed Importance Sampling Tal Friedman Guy Van den Broeck 50 17 0 31 May 2018
A New Probabilistic Algorithm for Approximate Model Counting Cunjing Ge Feifei Ma Tian Liu Jian Zhang TPM 35 4 0 13 Jun 2017
Learning what matters - Sampling interesting patterns V. Dzyuba M. Leeuwen 57 12 0 07 Feb 2017
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults Guy Avni Shubham Goel T. Henzinger G. Rodríguez-Navas 17 3 0 12 Jan 2017
Flexible constrained sampling with guarantees for pattern mining V. Dzyuba Matthijs van Leeuwen Luc de Raedt 84 37 0 28 Oct 2016
Towards Verified Artificial Intelligence Sanjit A. Seshia Dorsa Sadigh S. Shankar Sastry 113 203 0 27 Jun 2016
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving Kuldeep S. Meel Moshe Y. Vardi Supratik Chakraborty Daniel J. Fremont Sanjit A. Seshia Dror Fried A. Ivrii S. Malik 95 78 0 21 Dec 2015
Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty Kuldeep S. Meel Rakesh Mistry Moshe Y. Vardi TPM 78 59 0 24 Nov 2015
Approximate Counting in SMT and Value Estimation for Probabilistic Programs D. Chistikov Rayna Dimitrova R. Majumdar TPM 74 84 0 03 Nov 2014