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

Järvisalo, M. (Referentgranskare)

Aktivitet: Typer för peer review av output och redaktionsarbeteReferentgranskning av manuskript

Beskrivning

Reviewer for 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
Period2010
Typ av tidskriftTidskrift
OmfattningInternationell