Theory and application of satisfiability testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011: proceedings [Book Review]

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

Abstract

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.The 25 revised full papers presented together with ...

Categories

Keywords

Reprint years

Call number

QA9.3.S3656 2011

ISBN(s)

9783642215803

Links

PhilArchive



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

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: 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004: revised selected papers.Holger H. Hoos & David G. Mitchell (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.
Review of Limitless. 105 mins. Relativity Media, USA, 2011 and Rise of the Planet of the Apes. 105 min, 20th Century Fox, USA, 2011. [REVIEW]James J. Hughes - 2011 - American Journal of Bioethics 11 (10):42 - 43.
Introduction to Mathematics of Satisfiability.Victor W. Marek - 2009 - Taylor & Francis.
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
The satisfiability problem.John Franco, Endre Boros & P. L. Hammer (eds.) - 1999 - New York: Elsevier.
Quantum retrocausation: theory and experiment: San Diego, California, USA, 13-14 June 2011.Daniel P. Sheehan (ed.) - 2011 - Melville, N.Y.: American Institute of Physics.
Proceedings of the 14th Congress of Logic, Methodology and Philosophy of Science Nancy, July 19-26, 2011.P.-E. Bour & P. Schroeder-Heister (eds.) - forthcoming - College Publications.
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.
Argumentation: Cognition & Community. Proceedings of the 9th International Conference of the Ontario Society for the Study of Argumentation (OSSA), May 18--21, 2011.Frank Zenker (ed.) - 2011 - OSSA.
Dossier Gaialight 2007-2011.Gavin Keeney - manuscript
Generalized Arrow Update Logic.Bryan Renne & Barteld Kooi - unknown

Analytics

Added to PP
2013-05-30

Downloads
34 (#469,996)

6 months
1 (#1,471,470)

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