↓ Skip to main content
What is this page? Embed badge

Theory and Applications of Satisfiability Testing - SAT 2011

Overview of attention for book
Cover of 'Theory and Applications of Satisfiability Testing - SAT 2011'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Connecting SAT Algorithms and Complexity Lower Bounds
  3. Altmetric Badge
    Chapter 2 Concolic Testing and Constraint Satisfaction
  4. Altmetric Badge
    Chapter 3 Parameterized Complexity of DPLL Search Procedures
  5. Altmetric Badge
    Chapter 4 Satisfiability Certificates Verifiable in Subexponential Time
  6. Altmetric Badge
    Chapter 5 On Variables with Few Occurrences in Conjunctive Normal Forms
  7. Altmetric Badge
    Chapter 6 Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)
  8. Altmetric Badge
    Chapter 7 BDDs for Pseudo-Boolean Constraints – Revisited
  9. Altmetric Badge
    Chapter 8 DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
  10. Altmetric Badge
    Chapter 9 π DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space
  11. Altmetric Badge
    Chapter 10 How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms
  12. Altmetric Badge
    Chapter 11 Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight
  13. Altmetric Badge
    Chapter 12 A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs
  14. Altmetric Badge
    Chapter 13 Minimally Unsatisfiable Boolean Circuits
  15. Altmetric Badge
    Chapter 14 On Improving MUS Extraction Algorithms
  16. Altmetric Badge
    Chapter 15 Faster Extraction of High-Level Minimal Unsatisfiable Cores
  17. Altmetric Badge
    Chapter 16 On Freezing and Reactivating Learnt Clauses
  18. Altmetric Badge
    Chapter 17 Theory and Applications of Satisfiability Testing - SAT 2011
  19. Altmetric Badge
    Chapter 18 Between Restarts and Backjumps
  20. Altmetric Badge
    Chapter 19 Abstraction-Based Algorithm for 2QBF
  21. Altmetric Badge
    Chapter 20 Transformations into Normal Forms for Quantified Circuits
  22. Altmetric Badge
    Chapter 21 Theory and Applications of Satisfiability Testing - SAT 2011
  23. Altmetric Badge
    Chapter 22 Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One
  24. Altmetric Badge
    Chapter 23 Generating Diverse Solutions in SAT
  25. Altmetric Badge
    Chapter 24 Captain Jack: New Variable Selection Heuristics in Local Search for SAT
  26. Altmetric Badge
    Chapter 25 Careful Ranking of Multiple Solvers with Timeouts and Ties
  27. Altmetric Badge
    Chapter 26 Generalized Conflict-Clause Strengthening for Satisfiability Solvers
  28. Altmetric Badge
    Chapter 27 Empirical Study of the Anatomy of Modern Sat Solvers
  29. Altmetric Badge
    Chapter 28 Translating Pseudo-Boolean Constraints into CNF
  30. Altmetric Badge
    Chapter 29 Analyzing the Instances of the MaxSAT Evaluation
  31. Altmetric Badge
    Chapter 30 Model Counting Using the Inclusion-Exclusion Principle
  32. Altmetric Badge
    Chapter 31 Phase Transitions in Knowledge Compilation: An Experimental Study
  33. Altmetric Badge
    Chapter 32 EagleUP: Solving Random 3-SAT Using SLS with Unit Propagation
  34. Altmetric Badge
    Chapter 33 Non-Model-Based Algorithm Portfolios for SAT
  35. Altmetric Badge
    Chapter 34 The Order Encoding: From Tractable CSP to Tractable SAT
  36. Altmetric Badge
    Chapter 35 Applying UCT to Boolean Satisfiability
  37. Altmetric Badge
    Chapter 36 A Compact and Efficient SAT-Encoding of Finite Domain CSP
  38. Altmetric Badge
    Chapter 37 Learning Polarity from Structure in SAT
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
5 Mendeley
Summary X Wikipedia Dimensions citations
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 2011
Published by
Springer Berlin Heidelberg, June 2011
DOI 10.1007/978-3-642-21581-0
ISBNs
978-3-64-221580-3, 978-3-64-221581-0
Editors

Sakallah, Karem A., Simon, Laurent

View on publisher site
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.

This page is provided by Altmetric.