Items related to Theory and Applications of Satisfiability Testing -...
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2008
- ISBN 10 3540838899
- ISBN 13 9783540838890
- BindingPaperback
- LanguageEnglish
- Number of pages404
- EditorMarques-Silva Joao, Sakallah Karem A.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
