University of Copenhagen & Lund University Copenhagen, Schweden

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
University of Copenhagen & Lund University Copenhagen, Schweden
 

OrgUnit's Publications


Results 1-1 of 1 (Search time: 0.001 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