iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/fmsd/CookKRW13.xml
Byron Cook Daniel Kroening Philipp Rümmer Christoph M. Wintersteiger Ranking function synthesis for bit-vector relations. 93-120 2013 43 Formal Methods Syst. Des. 1 https://doi.org/10.1007/s10703-013-0186-4 db/journals/fmsd/fmsd43.html#CookKRW13