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

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Periode11. jul. 2010 - 14. jul. 2010
BegivenhedstypeKonference
PlaceringEdinburgh, Storbritannien