Zvika Berger

According to our database, Zvika Berger authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Bit-Precise Reasoning with Parametric Bit-Vectors.

Zvika Berger, Yoni Zohar, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli

Proceedings of the 28th International Conference on Theory and Applications of Satisfiability Testing, 2025