Skip to main content
Distribution-Aware Sampling and Weighted Model Counting for SAT.
- Author(s): Chakraborty, Supratik
- Fremont, Daniel J
- Meel, Kuldeep S
- Seshia, Sanjit A
- Vardi, Moshe Y
- Editor(s): Brodley, Carla E
- Stone, Peter
- et al.
Published Web Locationhttp://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8364/8801
No data is associated with this publication.