82 citations · 214 across the 25 of their papers we have counts for
3 papers · 1 filter
Distribution-Aware Sampling and Weighted Model Counting for SAT
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel +2
Given a CNF formula and a weight for each assignment of values to variables, two natural problems are weighted model counting and distribution-aware sampling of satisfying assignme…
Balancing Scalability and Uniformity in SAT Witness Generator
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
Constrained-random simulation is the predominant approach used in the industry for functional verification of complex digital designs. The effectiveness of this approach depends on…
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
We investigate a generalization of the Łoś-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo -sized cores}. It was shown earli…