Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob.

Dominik Schreiber, Aina Niemetz, Mathias Preiner

Browse the full TACAS paper archive.