Add "Constraint Propagation for Bit-Vectors in Alt-Ergo" to the list of publications

[hra687261]

This work was done as part of the decysif project: https://ceur-ws.org/Vol-4008/SMT_paper20.pdf