Theory and Applications of Satisfiability Testing - SAT 2006 1

Data & IT

Theory and Applications of Satisfiability Testing - SAT 2006

Armin Biere • Carla P Gomes

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

440 sidor
2006

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.

Författare: Armin Biere, Carla P Gomes
Format: Pocket/Paperback
ISBN: 9783540372066
Språk: Engelska
Antal sidor: 440
Utgivningsdatum: 2006-07-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K