Synthesizing Shortest Straight-Line Programs over GF(2) using SAT

Schneider-Kamp, P. (Foredragsholder)

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Periode20. jul. 2010
Sted for afholdelseSynthesis, Verification, and Analysis of Rich Models (SVARM 2010)
BegivenhedstypeKonference
PlaceringEdinburgh, Storbritannien