Fingeravtryck
Fördjupa i forskningsämnen för ”Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning”. Tillsammans bildar de ett unikt fingeravtryck.- Sortera efter
- Vikt
- Alfabetisk ordning
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordstrom
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review