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, Supratik
  • Fremont, Daniel J
  • Meel, Kuldeep S
  • Seshia, Sanjit A
  • Vardi, Moshe Y
  • Editor(s): Brodley, Carla E
  • Stone, Peter
  • 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