Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 3 /3
978-3-540-31580-3
Theory and Applications of Satisfiability Testing (vol. # 3542)

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...

Continue reading
978-3-540-31679-4
Theory and Applications of Satisfiability Testing (vol. # 3569)

SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...

Continue reading
978-3-540-37207-3
Theory and Applications of Satisfiability Testing - SAT 2006

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

Continue reading
Total Books: 1 - 3 /3