Theory and Applications of Satisfiability Testing - SAT 2010

Download or read book Theory and Applications of Satisfiability Testing - SAT 2010 written by Ofer Strichman and published by Springer Science & Business Media. This book was released on 2010-06-30 with total page 411 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. Enjoying tight cooperation with the R&D Community with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. In parallel to the printed book, each new volume is published electronically in LNCS Online.