Vor Ort
Merkzettel Warenkorb
  • Produktbild: Theory and Applications of Satisfiability Testing – SAT 2008
  • Produktbild: Theory and Applications of Satisfiability Testing – SAT 2008

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.04.2008

Abbildungen

X, 305 p.

Herausgeber

Hans Kleine Büning + weitere

Verlag

Springer Berlin

Seitenzahl

305

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-79718-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.04.2008

Abbildungen

X, 305 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

305

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

493 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-79718-0

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 – SAT 2008
  • Produktbild: Theory and Applications of Satisfiability Testing – SAT 2008
  • 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.