On the Existential Arithmetics with Addition and Bitwise Minimum.

Mikhail R. Starchak

Browse the full FOSSACS paper archive.