Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004: Revised Selected Papers [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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||$11.44 used (91% off) $77.39 new (35% off) $119.00 direct from Amazon Amazon page|
|Call number||QA9.3.S3652 2004|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Fahiem Bacchus & Toby Walsh (eds.) (2005). Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW] Springer.
Ofer Strichman & Stefan Szeider (eds.) (2010). Theory and Applications of Satisfiability Testing-- Sat 2010: 13th International Conference, Sat 2010 Edinburgh, Uk, July 2010: Proceedings. [REVIEW] Springer.
A. Blackwell, K. Marriott & A. Shimojima (eds.) (2004). Diagrammatic Representation and Inference. Springer.
O. B. Lupanov (ed.) (2005). Stochastic Algorithms: Foundations and Applications: Third International Symposium, Saga 2005, Moscow, Russia, October 20-22, 2005: Proceedings. [REVIEW] Springer.
V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) (2006). Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003: Revised Selected Papers. [REVIEW] Springer.
Alessandro Armando (ed.) (2002). Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW] Springer.
G. Gutiérrez, I. P. de Guzmán, J. Martínez, M. Ojeda-Aciego & A. Valverde (2002). Satisfiability Testing for Boolean Formulas Using Δ-Trees. Studia Logica 72 (1):85 - 112.
Adam Kolany (2010). Reversed Resolution in Reducing General Satisfiability Problem. Studia Logica 95 (3):407 - 416.
H. Kirchner & Christophe Ringeissen (eds.) (2000). Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000: Proceedings. [REVIEW] Springer.
V. W. Marek (2009). Introduction to Mathematics of Satisfiability. Taylor & Francis.
Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) (2008). 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] Cambridge University Press.
Donald Ervin Knuth (2010). Selected Papers on Design of Algorithms. Center for the Study of Language and Information.
Simone Bova (2012). Lewis Dichotomies in Many-Valued Logics. Studia Logica 100 (6):1271-1290.
Added to index2011-06-02
Total downloads6 ( #379,238 of 1,780,830 )
Recent downloads (6 months)1 ( #291,798 of 1,780,830 )
How can I increase my downloads?