Skip to main content
eScholarship
Open Access Publications from the University of California

Distribution-Aware Sampling and Weighted Model Counting for SAT.

  • Author(s): Chakraborty, S
  • Fremont, DJ
  • Meel, KS
  • Seshia, SA
  • Vardi, MY
  • Editor(s): Brodley, CE
  • Stone, P
  • et al.

Published Web Location

http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8364/8801
No data is associated with this publication.
Item not freely available? Link broken?
Report a problem accessing this item