Cover Image
Read Now

Theory and Applications of Satisfiability Testing - SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Bibliographic Details
Other Authors: Strichman, Ofer (Editor), Szeider, Stefan (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Programming Techniques
Computer Science
Mathematics Of Computing
Computer Science / Mathematics
Computer Programming
Algorithms
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Reconstructing Solutions after Blocked Clause Elimination
  • An Empirical Study of Optimal Noise and Runtime Distributions in Local Search
  • Green-Tao Numbers and SAT
  • Exact MinSAT Solving
  • Uniquely Satisfiable k-SAT Instances with Almost Minimal Occurrences of Each Variable
  • Assignment Stack Shrinking
  • Simple but Hard Mixed Horn Formulas
  • Zero-One Designs Produce Small Hard SAT Instances
  • An Exact Algorithm for the Boolean Connectivity Problem for k-CNF
  • Improving Unsatisfiability-Based Algorithms for Boolean Optimization
  • Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
  • Statistical Methodology for Comparison of SAT Solvers
  • On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem
  • The Seventh QBF Solvers Evaluation (QBFEVAL’10)
  • Complexity Results for Linear XSAT-Problems
  • Bounds on Threshold of Regular Random k-SAT
  • Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
  • 3. Short Papers
  • Improved Local Search for Circuit Satisfiability
  • A System for Solving Constraint Satisfaction Problems with SMT
  • Two Techniques for Minimizing Resolution Proofs
  • On Moderately Exponential Time for SAT
  • MinimisingDeterministic Büchi Automata Precisely Using SAT Solving
  • Exploiting Circuit Representations in QBF Solving
  • 1. Invited Talks
  • The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference
  • Exact Algorithms and Complexity
  • 2. Regular Papers
  • Improving Stochastic Local Search for SAT with a New Probability Distribution
  • Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas
  • Proof Complexity of Propositional Default Logic
  • Automated Testing and Debugging of SAT and QBF Solvers
  • Rewriting (Dependency-)Quantified 2-CNF with Arbitrary Free Literals into Existential 2-HORN
  • Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT
  • sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning
  • Non Uniform Selection of Solutions for Upper Bounding the 3-SAT Threshold
  • Symmetry and Satisfiability: An Update
  • A Non-prenex, Non-clausal QBF Solver with Game-State Learning
  • SAT Solving with Reference Points
  • Integrating Dependency Schemes in Search-Based QBF Solvers

Similar Items