Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004: Revised Selected Papers [Book Review]
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
|Keywords||Propositional calculus Algebra, Boolean Computer algorithms Decision making|
|Categories||categorize this paper)|
|Buy the book||$17.99 used (85% off) $89.57 new (25% off) $119.00 direct from Amazon Amazon page|
|Call number||QA9.3.S3652 2004|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW]Fahiem Bacchus & Toby Walsh (eds.) - 2005 - Springer.
Theory and Applications of Satisfiability Testing-- Sat 2010: 13th International Conference, Sat 2010 Edinburgh, Uk, July 2010: Proceedings. [REVIEW]Ofer Strichman & Stefan Szeider (eds.) - 2010 - Springer.
Diagrammatic Representation and Inference.A. Blackwell, K. Marriott & A. Shimojima (eds.) - 2004 - Springer.
Stochastic Algorithms: Foundations and Applications: Third International Symposium, Saga 2005, Moscow, Russia, October 20-22, 2005: Proceedings. [REVIEW]O. B. Lupanov (ed.) - 2005 - Springer.
Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003: Revised Selected Papers. [REVIEW]V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - Springer.
Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW]Alessandro Armando (ed.) - 2002 - Springer.
Satisfiability Testing for Boolean Formulas Using Δ-Trees.G. Gutiérrez, I. P. de Guzmán, J. Martínez, M. Ojeda-Aciego & A. Valverde - 2002 - Studia Logica 72 (1):85 - 112.
Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000: Proceedings. [REVIEW]H. Kirchner & Christophe Ringeissen (eds.) - 2000 - Springer.
Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. [REVIEW]Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) - 2008 - Cambridge University Press.
Selected Papers on Design of Algorithms.Donald Ervin Knuth - 2010 - Center for the Study of Language and Information.
Added to index2011-06-02
Total downloads6 ( #560,748 of 2,172,602 )
Recent downloads (6 months)1 ( #325,029 of 2,172,602 )
How can I increase my downloads?