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

Aktivitet: Typer för peer review av output och redaktionsarbete › Referentgranskning av manuskript

Beskrivning

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