Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
|
Buy Now
Theory and Applications of Satisfiability Testing - 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers (Paperback, 2004 ed.)
Loot Price: R1,817
Discovery Miles 18 170
|
|
Theory and Applications of Satisfiability Testing - 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers (Paperback, 2004 ed.)
Series: Lecture Notes in Computer Science, 2919
Expected to ship within 10 - 15 working days
|
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 "Challenges in SAT (and
QBF)") and Wolfgang Kunz (on "ATPG Versus SAT: Comparing Two
Paradigms for Boolean Reasoning"). SAT 2003 thus provided a unique
forum for the presen- tion and discussion of research related to
the theory and applications of pro- sitional and QBF satis?ability
testing.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.