Theory and Applications of Satisfiability Testing - SAT 2007

Name: Theory and Applications of Satisfiability Testing - SAT 2007
Brand: Springer, Berlin
SKU: 9783540727873
Price: 245.18 PLN
Availability: InStock

10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Autor: Joao Marques-Silva, Karem A. Sakallah

Język:

Oprawa: Miękka

Wydawca: Springer, Berlin

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

245.18 zł

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Ap...

Informacje o książce

Autor

Joao Marques-Silva, Karem A. Sakallah

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2007

strony

388

EAN

9783540727873

ISBN

3540727876

Enbook ID

01568638

Wydawca

Springer, Berlin

Waga

567

Wymiary

155 x 235 x 21

Pełny opis

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.

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 - SAT 2007

10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Informacje o książce

Pełny opis

Możesz być zainteresowany

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