TY  - RPRT
TI  - PolySAT: Word-level Bit-vector Reasoning in Z3
AU  - Jakob Rath
AU  - Clemens Eisenhofer
AU  - Daniela Kaufmann
AU  - Nikolaj Bjørner
AU  - Laura Kovács
PY  - 2024
UR  - https://arxiv.org/abs/2406.04696
ID  - 2406.04696
ER  -