Marques-Silva, Joao (Volume ed.) / Sakallah, Karem A.

Theory and Applications of Satisfiability Testing - SAT 2007

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. The 22 revised full papers presented together with 12 revised short papers presented together with 2 invited talks were carefully selected from 74 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered. The papers are organized in topical sections on encodings, max-SAT and pseudo-boolean, structure, local search, QBF, complete algorithms, proofs and cores, as well as applications.

Verlag: Springer-Verlag GmbH
Ausstattung: XI,384 p. - 235 x 155 mm, with online files/update
ISBN: 3540727876
Preis: 54,95 €

Bestellen bei Buecher.de!

Bestellen bei Amazon!

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.

Kategorien:

S:Mathematik, Naturwissenschaft & Technik · S:Informatik & EDV · S:Informatik

Lexikalische Einträge zum Thema

Brockhaus-1911: Marqueß · Marques

Meyers-1905: Marques

Pierer-1857: Navas del Marques · Marques