Fast Three-Valued Abstract Bit-Vector Arithmetic.

Jan Onderka, Stefan Ratschan

Browse the full VMCAI paper archive.