Ranking Function Synthesis for Bit-Vector Relations.

Byron Cook, Daniel Kroening, Philipp Rmmer, Christoph M. Wintersteiger

Browse the full TACAS paper archive.