On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.

Gergely Kovsznai, Andreas Frhlich, Armin Biere

Browse the full CADE paper archive.