الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 2 /2
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
عدد الكتب: 1 - 2 /2