Full name Familienname, Vorname
Nordström, Jakob
 
Main Affiliation Organisations­zuordnung
 

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
127_Verifying Properties of Bit_vector Multiplication Using Cutting Planes Reasoning.pdf.jpgLiew, Vincent ; Beame, Paul ; Devriendt, Jo ; Elffers, Jan ; Nordström, Jakob Verifying Properties of Bit-vector Multiplication Using Cutting Planes ReasoningKonferenzbeitrag Inproceedings 2020