ISBN10: 3540208518, ISBN13: 9783540208518, [publisher: Springer Berlin Heidelberg] Softcover
[Greven, Germany] [Publication Year: 2004]
Show/Hide image

ISBN10: 3540208518, ISBN13: 9783540208518, [publisher: Springer Berlin Heidelberg] Softcover
[Greven, Germany] [Publication Year: 2004]
Show/Hide image

ISBN10: 3540208518, ISBN13: 9783540208518, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - This book is devoted to the 6th International Conference on Theory and - plications of Satis ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5 8,2003. SAT 2003followedthe WorkshopsonS- is ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, speci c tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing - gorithm for Satis ability ), Toby Walsh (on Challeng ...
Show/Hide image

Springer 2004-03-19 2004 ed. Paperback Very Good Size: 9x5x1; Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

ISBN10: 3540208518, ISBN13: 9783540208518, [publisher: Springer] Softcover
[Dallas, TX, U.S.A.] [Publication Year: 2004]

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers. ISBN 3540208518 9783540208518 [GB]

ISBN10: 3540208518, ISBN13: 9783540208518, [publisher: Springer 2004-01] Softcover
[Wallingford, United Kingdom] [Publication Year: 2004]