↓ Skip to main content

Theory and Applications of Satisfiability Testing – SAT 2010

Overview of attention for book
Cover of 'Theory and Applications of Satisfiability Testing – SAT 2010'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference
  3. Altmetric Badge
    Chapter 2 Exact Algorithms and Complexity
  4. Altmetric Badge
    Chapter 3 Improving Stochastic Local Search for SAT with a New Probability Distribution
  5. Altmetric Badge
    Chapter 4 Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas
  6. Altmetric Badge
    Chapter 5 Proof Complexity of Propositional Default Logic
  7. Altmetric Badge
    Chapter 6 Automated Testing and Debugging of SAT and QBF Solvers
  8. Altmetric Badge
    Chapter 7 Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN
  9. Altmetric Badge
    Chapter 8 Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
  10. Altmetric Badge
    Chapter 9 sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning
  11. Altmetric Badge
    Chapter 10 Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
  12. Altmetric Badge
    Chapter 11 Symmetry and Satisfiability: An Update
  13. Altmetric Badge
    Chapter 12 A Non-prenex, Non-clausal QBF Solver with Game-State Learning
  14. Altmetric Badge
    Chapter 13 SAT Solving with Reference Points
  15. Altmetric Badge
    Chapter 14 Integrating Dependency Schemes in Search-Based QBF Solvers
  16. Altmetric Badge
    Chapter 15 An Exact Algorithm for the Boolean Connectivity Problem for k-CNF
  17. Altmetric Badge
    Chapter 16 Improving Unsatisfiability-Based Algorithms for Boolean Optimization
  18. Altmetric Badge
    Chapter 17 Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
  19. Altmetric Badge
    Chapter 18 Statistical Methodology for Comparison of SAT Solvers
  20. Altmetric Badge
    Chapter 19 On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem
  21. Altmetric Badge
    Chapter 20 The Seventh QBF Solvers Evaluation (QBFEVAL’10)
  22. Altmetric Badge
    Chapter 21 Complexity Results for Linear XSAT-Problems
  23. Altmetric Badge
    Chapter 22 Bounds on Threshold of Regular Random k-SAT
  24. Altmetric Badge
    Chapter 23 Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
  25. Altmetric Badge
    Chapter 24 Improved Local Search for Circuit Satisfiability
  26. Altmetric Badge
    Chapter 25 A System for Solving Constraint Satisfaction Problems with SMT
  27. Altmetric Badge
    Chapter 26 Two Techniques for Minimizing Resolution Proofs
  28. Altmetric Badge
    Chapter 27 On Moderately Exponential Time for SAT
  29. Altmetric Badge
    Chapter 28 Minimising Deterministic Büchi Automata Precisely Using SAT Solving
  30. Altmetric Badge
    Chapter 29 Exploiting Circuit Representations in QBF Solving
  31. Altmetric Badge
    Chapter 30 Reconstructing Solutions after Blocked Clause Elimination
  32. Altmetric Badge
    Chapter 31 An Empirical Study of Optimal Noise and Runtime Distributions in Local Search
  33. Altmetric Badge
    Chapter 32 Exact Ramsey Theory: Green-Tao numbers and SAT
  34. Altmetric Badge
    Chapter 33 Exact MinSAT Solving
  35. Altmetric Badge
    Chapter 34 Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable
  36. Altmetric Badge
    Chapter 35 Assignment Stack Shrinking
  37. Altmetric Badge
    Chapter 36 Simple but Hard Mixed Horn Formulas
  38. Altmetric Badge
    Chapter 37 Zero-One Designs Produce Small Hard SAT Instances
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • In the top 25% of all research outputs scored by Altmetric
  • High Attention Score compared to outputs of the same age (85th percentile)
  • High Attention Score compared to outputs of the same age and source (81st percentile)

Mentioned by

twitter
1 X user
wikipedia
5 Wikipedia pages
googleplus
1 Google+ user
q&a
1 Q&A thread

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theory and Applications of Satisfiability Testing – SAT 2010
Published by
ADS, January 2010
DOI 10.1007/978-3-642-14186-7
ISBNs
978-3-64-214185-0, 978-3-64-214186-7
Editors

Ofer Strichman, Stefan Szeider

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Student > Bachelor 1 20%
Student > Master 1 20%
Other 1 20%
Readers by discipline Count As %
Computer Science 5 100%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 8. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 16 September 2020.
All research outputs
#4,814,222
of 26,017,215 outputs
Outputs from ADS
#2,964
of 27,022 outputs
Outputs of similar age
#26,188
of 177,915 outputs
Outputs of similar age from ADS
#111
of 631 outputs
Altmetric has tracked 26,017,215 research outputs across all sources so far. Compared to these this one has done well and is in the 81st percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 27,022 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one has done well, scoring higher than 88% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 177,915 tracked outputs that were published within six weeks on either side of this one in any source. This one has done well, scoring higher than 85% of its contemporaries.
We're also able to compare this research output to 631 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 81% of its contemporaries.