Springer (2005)

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
Keywords Propositional calculus  Algebra, Boolean  Computer algorithms  Decision making
Categories (categorize this paper)
Buy this book Find it on Amazon.com
Call number QA9.3.S3652 2004
ISBN(s) 354027829X   9783540278290
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 59,104
External links

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.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Selected Papers on Design of Algorithms.Donald Ervin Knuth - 2010 - 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 index
2011-06-02

Total views
10 ( #853,473 of 2,427,997 )

Recent downloads (6 months)
1 ( #511,645 of 2,427,997 )

How can I increase my downloads?

Downloads

My notes