Theory and applications of satisfiability testing: 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004: revised selected papers [Book Review]

& (eds.)
New York: Springer (2005)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

Call number

QA9.3.S3652 2004

ISBN(s)

354027829X

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Theory and applications of satisfiability testing: 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings.Fahiem Bacchus & Toby Walsh (eds.) - 2005 - New York: Springer.
Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010: proceedings.Ofer Strichman & Stefan Szeider (eds.) - 2010 - Berlin: Springer.
Diagrammatic Representation and Inference.A. Blackwell, K. Marriott & A. Shimojima (eds.) - 2004 - Springer.
The satisfiability problem.John Franco, Endre Boros & P. L. Hammer (eds.) - 1999 - New York: Elsevier.
Stochastic algorithms: foundations and applications: third international symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005: proceedings.O. B. Lupanov (ed.) - 2005 - New York: Springer.
Fuzzy logic and applications: 5th international workshop, WILF 2003, Naples, Italy, October 9-11, 2003: revised selected papers.V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - New York: Springer.
Frontiers of combining systems: 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: proceedings.Alessandro Armando (ed.) - 2002 - New York: 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.Helene Kirchner & Christophe Ringeissen (eds.) - 2000 - New York: Springer.
Introduction to Mathematics of Satisfiability.Victor W. Marek - 2009 - Taylor & Francis.
Week 1: Propositional Logic, or Boolean Logic.Jan van Eijck - unknown
Selected papers on design of algorithms.Donald Ervin Knuth - 2010 - Stanford, Calif.: Center for the Study of Language and Information.
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.

Analytics

Added to PP
2011-06-02

Downloads
19 (#795,462)

6 months
5 (#626,659)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references