Operating Systems & Graphical User Interfaces books and eBooksFeatured BooksTheory and Applications of Satisfiability Testing - Sat 2007: 10th International Conference, Sat 2007, Lisbon, Portugal, May 28-31, 2007, Proceedingsby Karem A. SakallahThis book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. The 22 revised full papers presented together with 12 revised short papers presented together with 2 invited talks were carefully selected from 74 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered. The papers are organized in topical secti... View all Operating Systems & Graphical User Interfaces books Popular Operating Systems & Graphical User Interfaces books and eBooks in the last 24 hoursView all Operating Systems & Graphical User Interfaces titles |
|