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

Järvisalo, M. (Arvioitsija (reviewer))

Aktiviteetti: Julkaisun vertaisarvioinnin ja toimituksellisen työn tyypitKäsikirjoitusten vertaisarviointi

Kuvaus

Reviewer for 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
Aikajakso2010
Julkaisun tyyppiLehti
Tunnustuksen arvoKansainvälinen