✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 362.450 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Theory and Applications of Satisfiability Testing -- SAT 2012

Theory and Applications of Satisfiability Testing -- SAT 2012

Softcover - 9783642316111
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Details

Verlag Springer Berlin
Ersterscheinung 22. Juni 2012
Maße 23.5 cm x 15.5 cm
Gewicht 779 Gramm
Format Softcover
ISBN-13 9783642316111
Seiten 500

Schlagwörter

Algorithmen und Datenstrukturen, Algorithms, Artificial Intelligence, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Künstliche Intelligenz, Mathematical Applications in Computer Science, Theoretische Informatik, Theory of Computation

Herstellerinformationen +