• VePub Press
  • کنفرانس ها
  • International Conference on Theory and Applications of Satisfiability Testing