Erhältlich:
Nicht auf Lager
Buch (Hardcover): Fachbuch
Sat 2005
Satisfiability Research in the Year 2005
Produkt bewerten
Erhältlich:
Nicht auf Lager
Zustellung: Di, 10.02.2026
Versand: Kostenlos
-24.7 %
CHF 189.–
CHF 142.30
Beschreibung
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and softwa...
Spezifikationen
Sprache
- Englisch
Autor
- Enrico Giunchiglia
- Toby Walsh
Thema
- Softwareentwicklung: Software Engineering
- Informatik: Theoretische Informatik
- Künstliche Intelligenz: Allgemein
Zielgruppe
- Research
Erscheinungsjahr
- 2006
Erscheinungsland
- Niederlande
Format
- Buch (Hardcover)
Anzahl Seiten
- 293