Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Bibliographic Details
Main Author:	Strichman, Ofer
Corporate Author:	SpringerLink (Online service)
Other Authors:	Szeider, Stefan
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag Heidelberg Berlin 2010
Series:	Lecture Notes in Computer Science 6175
Subjects:	Computer science Software engineering Computer software Logic design Computer Science Algorithm Analysis and Problem Complexity Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing
Online Access:	http://dx.doi.org/10.1007/978-3-642-14186-7

Holdings details from ΒΚΠ - Πατρα: Unknown
Call Number:	Unknown
Copy Unknown	Available

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings