Theory and Applications of Satisfiability Testing - 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers - Paperback - 2005

"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.
Year of publication: 2005
Pagination: 393 pages, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Holger H. (University of British Columbia) Hoos, David G. (Simon Fraser University) Mitchell"