International Conference on Theory and Applications of Satisfiability Testing (SAT ) (Journal)
- Järvisalo, M. (Reviewer)
Activity: Publication peer-review and editorial work types › Peer review of manuscripts
Activity: Publication peer-review and editorial work types › Peer review of manuscripts