ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
118
views
0
references
Top references
cited by
6
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,332
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Theory and Applications of Satisfiability Testing – SAT 2012
other
Editor(s):
Alessandro Cimatti
,
Roberto Sebastiani
Publication date
(Print):
2012
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
Electrospinning for biomedical applications
Author and book information
Book
ISBN (Print):
978-3-642-31611-1
ISBN (Electronic):
978-3-642-31612-8
Publication date (Print):
2012
DOI:
10.1007/978-3-642-31612-8
SO-VID:
54370042-ba21-4803-b978-9bf10435f23f
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Understanding IC3
pp. 16
Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break
pp. 143
Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
pp. 228
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors
pp. 242
Efficient SAT Solving under Assumptions
pp. 410
The Community Structure of SAT Formulas
pp. 430
Resolution-Based Certificate Extraction for QBF
pp. 442
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox
Similar content
4,332
Why doctors are not satisfied with their job-current status in tertiary care hospitals
Authors:
Faiza Sadaqat Ali
,
Bader Faiyaz Zuberi
,
Tazeen Rasheed
…
Characterization of Foot and Mouth Disease Virus Serotype SAT-2 in Swamp Water Buffaloes (
Bubalus bubalis
) under the Egyptian Smallholder Production System
Authors:
Hend El Damaty
,
Elshaima M. Fawzi
,
Ahmed Neamat-Allah
…
Approximating Max NAE-k-SAT by anonymous local search
Authors:
Aiyong Xian
,
Kaiyuan Zhu
,
Daming Zhu
…
See all similar
Cited by
6
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions
Authors:
Grigory Fedyukovich
,
Rastislav Bodik
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
Authors:
Elena Pagani
,
Silvio Ghilardi
Separating OR, SUM, and XOR Circuits
Authors:
,
,
…
See all cited by