Book Details

978-3-540-37207-3

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