Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Ranking function synthesis for bit-vector relations

Byron Cook, Daniel Kroening, Philipp Rümmer, and Christoph M. Wintersteiger

Details

Publication typeArticle
Published inFormal Methods in System Design
Pages93-120
Volume43
Number1
> Publications > Ranking function synthesis for bit-vector relations