Adam B. Kinsman, Nicola Nicolici
Finite Precision bit-width allocation using SAT-Modulo Theory
DATE, 2009.
@inproceedings{DATE-2009-KinsmanN,
author = "Adam B. Kinsman and Nicola Nicolici",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1106--1111",
publisher = "{IEEE}",
title = "{Finite Precision bit-width allocation using SAT-Modulo Theory}",
year = 2009,
}