On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.

Gergely Kovsznai, Helmut Veith, Andreas Frhlich, Armin Biere

Browse the full MFCS paper archive.