Vor Ort
Merkzettel Warenkorb
  • Produktbild: Theory and Applications of Satisfiability Testing
  • Produktbild: Theory and Applications of Satisfiability Testing
Band 3569

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2005

Abbildungen

XII, 492 p.

Herausgeber

Fahiem Bacchus + weitere

Verlag

Springer Berlin

Seitenzahl

492

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

762 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26276-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2005

Abbildungen

XII, 492 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

492

Maße (L/B/H)

23,5/15,5/2,8 cm

Gewicht

762 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26276-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Theory and Applications of Satisfiability Testing
  • Produktbild: Theory and Applications of Satisfiability Testing
  • Preface.- Solving Over-Constrained Problems with SAT Technology.- A Symbolic Search Based Approach for Quantified Boolean Formulas.- Substitutional Definition of Satisfiability in Classical Propositional Logic.- A Clause-Based Heuristic for SAT Solvers.- Effective Preprocessing in SAT Through Variable and Clause Elimination.- Resolution and Pebbling Games.- Local and Global Complete Solution Learning Methods for QBF.- Equivalence Checking of Circuits with Parameterized Specifications.- Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming.- Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution.- Resolution Tunnels for Improved SAT Solver Performance.- Diversification and Determinism in Local Search for Satisfiability.- On Finding All Minimally Unsatisfiable Subformulas.- Optimizations for Compiling Declarative Models into Boolean Formulas.- Random Walk with Continuously Smoothed Variable Weights.- Derandomization of PPSZ for Unique-k-SAT.- Heuristics for Fast Exact Model Counting.- A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic.- DPvis – A Tool to Visualize the Structure of SAT Instances.- Constraint Metrics for Local Search.- Input Distance and Lower Bounds for Propositional Resolution Proof Length.- Sums of Squares, Satisfiability and Maximum Satisfiability.- Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable.- A New Approach to Model Counting.- Benchmarking SAT Solvers for Bounded Model Checking.- Model-Equivalent Reductions.- Improved Exact Solvers for Weighted Max-SAT.- Quantifier Trees for QBFs.- Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas.- A Branching Heuristics for Quantified Renamable Horn Formulas.- AnImproved Upper Bound for SAT.- Bounded Model Checking with QBF.- Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies.- Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas.- Automated Generation of Simplification Rules for SAT and MAXSAT.- Speedup Techniques Utilized in Modern SAT Solvers.- FPGA Logic Synthesis Using Quantified Boolean Satisfiability.- On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization.- A New Set of Algebraic Benchmark Problems for SAT Solvers.- A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas.- Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability.- On Subsumption Removal and On-the-Fly CNF Simplification.