Theory and Applications of Satisfiability Testing-- Sat 2010: 13th International Conference, Sat 2010 Edinburgh, Uk, July 2010: Proceedings [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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||$57.65 used (56% off) $74.37 new (43% off) $129.00 direct from Amazon Amazon page|
|Call number||QA9.3.S3655 2010|
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.
Citations of this work BETA
No citations found.
Similar books and articles
Holger H. Hoos & David G. Mitchell (eds.) (2005). Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004: Revised Selected Papers. [REVIEW] Springer.
Fahiem Bacchus & Toby Walsh (eds.) (2005). Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW] Springer.
Fernando Ferreira (ed.) (2010). Programs, Proofs, Processes: 6th Conference on Computability in Europe, Cie, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; Proceedings. [REVIEW] Springer.
Bernhard Pfahringer, Geoffrey Holmes & Achim Hoffmann (eds.) (2010). Discovery Science: 13th International Conference, Ds 2010, Canberra, Australia, October 6-8, 2010: Proceedings. Springer.
Instructions Conference, British Society for the Philosophy of Science Annual Conference 2010 (Dublin; July 8-9, 2010).
Anthony Galton & Riichiro Mizoguchi (eds.) (2010). Proceeding of the 2010 Conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010). [REVIEW] IOS Press.
Adam Kolany (2010). Reversed Resolution in Reducing General Satisfiability Problem. Studia Logica 95 (3):407 - 416.
V. W. Marek (2009). Introduction to Mathematics of Satisfiability. Taylor & Francis.
Instructions Conference, 16th Uk and European Meeting on the Foundations of Physics (Aberdeen, 5-7 July 2010).
Byeong-Ho Kang & Debbie Richards (eds.) (2010). Knowledge Management and Acquisition for Smart Systems and Services: 11th International Workshop, Pkaw 2010, Daegu, Korea, August 20 - September 3, 2010: Proceedings. [REVIEW] Springer.
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.
Instructions Conference, &Hps3: Integrated History and Philosophy of Science 3 (Bloomington, in; 23-26 September 2010).
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 (2):566-568.
Added to index2012-06-27
Total downloads3 ( #340,583 of 1,679,360 )
Recent downloads (6 months)1 ( #183,761 of 1,679,360 )
How can I increase my downloads?