More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.

Andreas Frhlich, Gergely Kovsznai, Armin Biere

Browse the full CSR paper archive.