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

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 ...