Open AccessDistribution-Aware Sampling and Weighted Model Counting for SAT
Author(s) -
Supratik Chakraborty,
Daniel J. Fremont,
Kuldeep S. Meel,
Sanjit A. Seshia,
Moshe Y. Vardi
Publication year - 2014
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.8990
Subject(s) - oracle , representation (politics) , solver , sampling (signal processing) , computer science , mathematics , distribution (mathematics) , algorithm , mathematical optimization , mathematical analysis , software engineering , filter (signal processing) , politics , political science , law , computer vision