↓ 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
Attention for Chapter 6: Automated Testing and Debugging of SAT and QBF Solvers
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age and source (60th percentile)

Mentioned by

wikipedia
2 Wikipedia pages

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
26 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.
Chapter title
Automated Testing and Debugging of SAT and QBF Solvers
Chapter number 6
Book title
Theory and Applications of Satisfiability Testing – SAT 2010
Published in
Lecture notes in computer science, January 2010
DOI 10.1007/978-3-642-14186-7_6
Book ISBNs
978-3-64-214185-0, 978-3-64-214186-7
Authors

Robert Brummayer, Florian Lonsing, Armin Biere

Editors

Ofer Strichman, Stefan Szeider

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Italy 1 4%
Germany 1 4%
Unknown 24 92%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 10 38%
Student > Master 4 15%
Researcher 3 12%
Other 1 4%
Professor 1 4%
Other 3 12%
Unknown 4 15%
Readers by discipline Count As %
Computer Science 18 69%
Engineering 3 12%
Unknown 5 19%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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 26 May 2017.
All research outputs
#7,479,767
of 22,865,319 outputs
Outputs from Lecture notes in computer science
#2,486
of 8,127 outputs
Outputs of similar age
#48,476
of 164,102 outputs
Outputs of similar age from Lecture notes in computer science
#44
of 188 outputs
Altmetric has tracked 22,865,319 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,127 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 55% 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 164,102 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 22nd percentile – i.e., 22% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 188 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 60% of its contemporaries.