Theory and Applications of Satisfiability Testing

Name: Theory and Applications of Satisfiability Testing
Brand: Springer, Berlin
SKU: 9783540208518
Price: 216.6 PLN
Availability: InStock

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers

Autor: Enrico Giunchiglia, Armando Tacchella

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

216.60 zł

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference o...

Informacje o książce

Autor

Enrico Giunchiglia, Armando Tacchella

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2004

strony

530

EAN

9783540208518

ISBN

3540208518

Enbook ID

01558967

Wydawca

Springer, Berlin

Waga

820

Wymiary

155 x 233 x 28

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również