Enviar aquest missatge de text: Ranking function synthesis for bit-vector relations