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

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers - 3542 (2005 edition.)

Hoos, Holger H.(Edited by)Mitchell, David G.(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

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.

Read More
Available
£44.99
Add Line Customisation
Available on VLeBooks
Add to List
Product Details
Springer
3540315802 / 9783540315803
eBook (Adobe Pdf)
25/08/2005
English
393 pages
Copy: 10%; print: 10%