Willkommen, schön sind Sie da!
Logo Ex Libris

Theory and Applications of Satisfiability Testing - SAT 2008

  • Kartonierter Einband
  • 324 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the ?rst time, the conference venue was in Asia, more precisely at the Zhudao Guest House, near Sun Yat-Sen University in Guangzhou, P. R. China. Many hard combinatorial problems can be encoded into SAT. Therefore - provementsonheuristics onthe practicalside,as wellastheoreticalinsightsinto SAT apply to a large range of real-world problems. More speci?cally, many - portant practical veri?cation problems can be rephrased as SAT problems. This applies to veri?cation problems in hardware and software. Thus SAT is bec- ing one of the most important core technologies to verify secure and dependable systems. The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, s- pli?ers, tools, case studies, and empirical results. SAT is interpreted in a rather broad sense: besides propositional satis?ability, it includes, for example, the - main of quanti?ed Boolean formulae (QBF) and satis?ability modulo theories (SMT).

Klappentext

This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008.

The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.



Inhalt
Modelling Max-CSP as Partial Max-SAT.- A Preprocessor for Max-SAT Solvers.- A Generalized Framework for Conflict Analysis.- Adaptive Restart Strategies for Conflict Driven SAT Solvers.- New Results on the Phase Transition for Random Quantified Boolean Formulas.- Designing an Efficient Hardware Implication Accelerator for SAT Solving.- Attacking Bivium Using SAT Solvers.- SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.- Random Instances of W[2]-Complete Problems: Thresholds, Complexity, and Algorithms.- Complexity and Algorithms for Well-Structured k-SAT Instances.- A Decision-Making Procedure for Resolution-Based SAT-Solvers.- Online Estimation of SAT Solving Runtime.- A Max-SAT Inference-Based Pre-processing for Max-Clique.- SAT, UNSAT and Coloring.- Computation of Renameable Horn Backdoors.- A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.- Improvements to Hybrid Incremental SAT Algorithms.- Searching for Autarkies to Trim Unsatisfiable Clause Sets.- Nenofex: Expanding NNF for QBF Solving.- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.- Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms.- A CNF Class Generalizing Exact Linear Formulas.- How Many Conflicts Does It Need to Be Unsatisfiable?.- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.- Local Restarts.- Regular and General Resolution: An Improved Separation.- Finding Guaranteed MUSes Fast.

Produktinformationen

Titel: Theory and Applications of Satisfiability Testing - SAT 2008
Untertitel: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Editor:
EAN: 9783540797180
ISBN: 3540797181
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 324
Gewicht: 493g
Größe: H235mm x B155mm x T17mm
Jahr: 2008
Untertitel: Englisch
Auflage: 2008

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"