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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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 2009: 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009: proceedings.Oliver Kullmann (ed.) - 2009 - Berlin: Springer.
Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings.Karem A. Sakallah & Laurent Simon (eds.) - 2011 - New York: Springer.
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings.Bruno Buchberger & John A. Campbell - 2004 - Springer Verlag.
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings.Jerzy Marcinkowski, Andrzej Tarlecki & European Association for Computer Science Logic - 2004 - Springer Verlag.
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings.Bart Demoen & Vladimir Lifschitz - 2004 - Springer Verlag.
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings.Yukiyoshi Kameyama & Peter J. Stuckey - 2004 - Springer Verlag.
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.
Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004, Proceedings.Karl Erich Wolff, Heather D. Pfeiffer & Harry S. Delugach - 2004 - Springer Verlag.
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings.Rui Camacho, Ross King & Ashwin Srinivasan - 2004 - Springer Verlag.

Analytics

Added to PP
2011-06-02

Downloads
24 (#884,466)

6 months
4 (#1,227,078)

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