Publications | Lund University Publications

1 – 2 of 2

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=author%3D%22Beame%2C+Paul%22+or+(documentType+any+%22bookEditor+conferenceEditor%22+and+editor%3D%22Beame%2C+Paul%22)&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2022
Mark Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification
Kaufmann, Daniela ; Beame, Paul ; Biere, Armin and Nordstrom, Jakob ^LU (2022) 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 In Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022 p.1431-1436
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2020
Mark Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ^LU ; Elffers, Jan ^LU and Nordstrom, Jakob ^LU (2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding