Theory and Applications of Satisfiability Testing-- Sat 2010: 13th International Conference, Sat 2010 Edinburgh, Uk, July 2010: Proceedings
Ofer Strichman & Stefan Szeider (eds.)
Springer (2010)
| Abstract | The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. | |||||||||
| Keywords | Propositional calculus Decision making Computer algorithms | |||||||||
| Categories | ||||||||||
| Buy the book | $109.00 direct from Amazon Amazon page | |||||||||
| Call number | QA9.3.S3655 2010 | |||||||||
| ISBN(s) | 9783642141850 3642141854 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesAdam Kolany (2010). Reversed Resolution in Reducing General Satisfiability Problem. Studia Logica 95 (3).
V. W. Marek (2009). Introduction to Mathematics of Satisfiability. Taylor & Francis.
Snehashish Chakraverty (ed.) (2010). Proceedings of International Conference on Challenges and Applications of Mathematics in Science and Technology: Camist, January 11-13, 2010. [REVIEW] Macmillan Publishers India.
Erwin Brüning, Thomas Konrad & F. Petruccione (eds.) (2012). Quantum Africa 2010: Theoretical and Experimental Foundations of Recent Quantum Technology, Umhlanga, South Africa, 20-23 September 2010. [REVIEW] American Institute of Physics.
Christina Williamson (2012). Caria (R.) Van Bremen, (J.-M.) Carbon (Edd.) Hellenistic Karia. Proceedings of the First International Conference on Hellenistic Karia – Oxford, 29 June – 2 July 2006. (Études 28.) Pp. 602, Fig., Ills, Maps. Bordeaux: Ausonius Éditions, 2010. Cased, €40. ISBN: 978-2-35613-036-5. [REVIEW] The Classical Review 62 (02):566-568.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-06-27Total downloads1 ( #274,556 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
