Online-Bibliothek

Bacchus, Fahiem / Walsh, Toby (eds.)

Theory and Applications of Satisfiability Testing

Bestellen für 67,95 €

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.

Verlag: Springer-Verlag GmbH

Ausstattung: XII,492 p. - 235 x 155 mm, with online files/update

ISBN: 3540262768

Preis: 67,95 €

Hier bei Buecher.de bestellen!

Hier bei Amazon bestellen!

Bestellen Sie über obige Links! Sie fördern dadurch die Digitalisierung weiterer Bücher, da Zeno.org eine Provision von dem Sponsor erhält. Wann immer Sie etwas bestellen möchten - prüfen Sie vorher die Millionen von Angeboten, die im Zeno.org-Shop beschrieben sind. Bookmarken Sie die Einstiegsseite in den Zeno.org-Shop für spätere Gelegenheiten. Vielen Dank für Ihre Unterstützung.