Skip to main content

Open Access Publications from the University of California

Search eScholarship

Refine Search

All of eScholarshipThis Series

UC Berkeley

UC Berkeley Previously Published Works banner

Menu

About eScholarship
UC Open Access Policies
Journals
Academic Units

eScholarship
UC Berkeley
UC Berkeley Previously Published Works

This item is not available for download from eScholarship

Share

Distribution-Aware Sampling and Weighted Model Counting for SAT.

2014

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

Related Items

Mechanistic basis of atypical TERT promoter mutations.
The vibriophage-encoded inhibitor OrbA abrogates BREX-mediated defense through the ATPase BrxC.
Deep mantle plumes feeding periodic alignments of asthenospheric fingers beneath the central and southern Atlantic Ocean.
HURP regulates Kif18A recruitment and activity to synergistically control microtubule dynamics.
Screening p-hackers: Dissemination noise as bait.
- Echenique, Federico;
- He, Kevin

Home
About eScholarship
Campus Sites
UC Open Access Policy
eScholarship Publishing
Accessibility
Privacy Statement
Site Policies
Terms of Use
Admin Login
Help

Powered by the
California Digital Library
Copyright © 2017
The Regents of the University of California