International Conference on Theory and Applications of Satisfiability Testing (SAT ) (Journal)

Järvisalo, M. (Reviewer)

Activity: Publication peer-review and editorial work typesPeer review of manuscripts

Description

Reviewer for 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
Period2010
Type of journalJournal
Degree of RecognitionInternational