Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Edition 1

by Enrico Giunchiglia
     
 

ISBN-10: 3540208518

ISBN-13: 9783540208518

Pub. Date: 03/19/2004

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540208518
Publisher:
Springer Berlin Heidelberg
Publication date:
03/19/2004
Series:
Lecture Notes in Computer Science Series, #2919
Edition description:
2004
Pages:
530
Product dimensions:
9.21(w) x 6.14(h) x 1.11(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >