Theory and Applications of Satisfiability Testing-- Sat 2010: 13th International Conference, Sat 2010 Edinburgh, Uk, July 2010: Proceedings [Book Review]
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||categorize this paper)|
|Buy the book||$93.10 new (28% off) $97.18 used (25% off) $129.00 direct from Amazon Amazon page|
|Call number||QA9.3.S3655 2010|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004: Revised Selected Papers. [REVIEW]Holger H. Hoos & David G. Mitchell (eds.) - 2005 - Springer.
Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW]Fahiem Bacchus & Toby Walsh (eds.) - 2005 - Springer.
Programs, Proofs, Processes: 6th Conference on Computability in Europe, Cie, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; Proceedings. [REVIEW]Fernando Ferreira (ed.) - 2010 - Springer.
Discovery Science: 13th International Conference, Ds 2010, Canberra, Australia, October 6-8, 2010: Proceedings.Bernhard Pfahringer, Geoffrey Holmes & Achim Hoffmann (eds.) - 2010 - Springer.
British Society for the Philosophy of Science Annual Conference 2010 (Dublin; July 8-9, 2010).Instructions Conference - unknown
Proceeding of the 2010 Conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010). [REVIEW]Anthony Galton & Riichiro Mizoguchi (eds.) - 2010 - IOS Press.
16th Uk and European Meeting on the Foundations of Physics (Aberdeen, 5-7 July 2010).Instructions Conference - unknown
Knowledge Management and Acquisition for Smart Systems and Services: 11th International Workshop, Pkaw 2010, Daegu, Korea, August 20 - September 3, 2010: Proceedings. [REVIEW]Byeong-Ho Kang & Debbie Richards (eds.) - 2010 - Springer.
Proceedings of International Conference on Challenges and Applications of Mathematics in Science and Technology: Camist, January 11-13, 2010. [REVIEW]Snehashish Chakraverty (ed.) - 2010 - Macmillan Publishers India.
&Hps3: Integrated History and Philosophy of Science 3 (Bloomington, in; 23-26 September 2010).Instructions Conference - unknown
Quantum Africa 2010: Theoretical and Experimental Foundations of Recent Quantum Technology, Umhlanga, South Africa, 20-23 September 2010. [REVIEW]Erwin Brüning, Thomas Konrad & F. Petruccione (eds.) - 2012 - American Institute of Physics.
Caria Van Bremen, Carbon Hellenistic Karia. Proceedings of the First International Conference on Hellenistic Karia – Oxford, 29 June – 2 July 2006. Pp. 602, Fig., Ills, Maps. Bordeaux: Ausonius Éditions, 2010. Cased, €40. ISBN: 978-2-35613-036-5. [REVIEW]Christina Williamson - 2012 - The Classical Review 62 (2):566-568.
Added to index2012-06-27
Total downloads3 ( #700,571 of 2,171,981 )
Recent downloads (6 months)1 ( #326,556 of 2,171,981 )
How can I increase my downloads?