Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
35
views
21
references
Top references
cited by
16
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,679
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Principles and Practice of Constraint Programming
A Scalable Approximate Model Counter
other
Author(s):
Supratik Chakraborty
,
Kuldeep S. Meel
,
Moshe Y. Vardi
Publication date
(Print):
2013
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
In vitro alveolar region models
Most cited references
21
Record
: found
Abstract
: not found
Article
: not found
The Complexity of Enumeration and Reliability Problems
Leslie Valiant
(1979)
0
comments
Cited
262
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Random generation of combinatorial structures from a uniform distribution
Mark R. Jerrum
,
Leslie Valiant
,
Vijay V Vazirani
(1986)
0
comments
Cited
171
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
On the hardness of approximate reasoning
Dan Roth
(1996)
0
comments
Cited
74
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2013
Pages
: 200-216
DOI:
10.1007/978-3-642-40627-0_18
SO-VID:
124ca439-0c7f-4f30-a8dd-ecd53be26348
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 30
Parallel Discrepancy-Based Search
pp. 200
A Scalable Approximate Model Counter
pp. 596
Embarrassingly Parallel Search
pp. 758
Constraint-Based Approaches for Balancing Bike Sharing Systems
Similar content
2,679
FastSpar: rapid and scalable correlation estimation for compositional data
Authors:
Stephen C Watts
,
Scott Ritchie
,
Michael Inouye
…
Quantum instanton approximation for thermal rate constants of chemical reactions
Authors:
William H Miller
,
Sandy Yang
,
Michele Ceotto
…
A Scalable Framework for Acceleration of CNN Training on Deeply-Pipelined FPGA Clusters with Weight and Workload Balancing
Authors:
Tong Geng
,
Tianqi Wang
,
Ang Li
…
See all similar
Cited by
16
Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Authors:
Dmitry Chistikov
,
Rayna Dimitrova
,
Rupak Majumdar
On computing minimal independent support and its applications to sampling and counting
Authors:
Sharad Malik
,
Moshe Vardi
,
Kuldeep Meel
…
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
Authors:
Yusuke Kawamoto
,
Fabrizio Biondi
,
Axel Legay
See all cited by