Volume: Vol-3725 SMT 2024 | Year: 2024

Paper: « short6 | short9 | short13 »

A Bit-vector to Integer Translation with bv2nat and nat2bv

• Max Barth dblp
• Matthias Heizmann dblp

53-63 PDF