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

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

Similar Items

Similar Items