Book Details

Theory and Applications of Satisfiability Testing - SAT 2006

Publication year: 2006

ISBN: 978-3-540-37207-3

Internet Resource: Please Login to download book

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.

Subject: Computer Science, QBF, SAT solvers, SMT, algorithms, bioinformatics, calculus, complexity, description logics, heuristics, learning, local search, optimization, random walks, resolution, satisfiability testing