Counterexample-Guided Bit-Precision Selection.

Shaobo He, Zvonimir Rakamaric

Browse the full APLAS paper archive.