Bit-Precise Reasoning Beyond Bit-Blasting / eingereicht von Dipl.-Ing. Aina Niemetz, Bsc. Linz, Februar 2017