Mohlo by se vám také líbit

Více informací o knize Theory and Applications of Satisfiability Testing

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 168 bodů

Anotace knihy

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, held in Santa Margherita Ligure, Italy, in May 2003.The 33 revised full papers presented together with 5 articles reporting results of the related SAT competition and QBF evaluation were carefully selected during two rounds of reviewing and improvement from 67 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.

Parametry knihy

Zařazení knihy Knihy v angličtině Mathematics & science Mathematics Mathematical foundations

• Plný název: Theory and Applications of Satisfiability Testing
• Podnázev: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers
• Autor: Enrico Giunchiglia, Armando Tacchella
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 530
• EAN: 9783540208518
• ISBN: 3540208518
• ID: 01558967
• Nakladatelství: Springer, Berlin
• Hmotnost: 820 g
• Rozměry: 233 × 155 × 28 mm
• Rok vydání: 2004

Oblíbené z jiného soudku

---

---

---