Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected . Computer Science and General Issues)

Hoos, Holger H. [Editor]; Mitchell, David G. [Editor];

ISBN 10: 354027829X / ISBN 13: 9783540278290

Published by Springer, 2008

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-1715

Bibliographic Details

Title: Theory and Applications of Satisfiability ...

Publisher: Springer

Publication Date: 2008

Binding: Paperback

Condition: Very Good

About this title

Synopsis:

Theory and Applications of Satisfiability Testing Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004. This book contains papers and reports covering a spectrum of research in propositional and quantified Boolean formula satisfiability testing; and the fields of theoretical and experimental computer science.

Synopsis:

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition, there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the fields of theoretical and experimental computer science as well as the many relevant application areas.