Finite Precision bit-width allocation using SAT-Modulo Theory.

Adam B. Kinsman Nicola Nicolici

Published in: DATE (2009)

Keyphrases

theoretical basis
resource allocation
equational theories
computational model
high precision
precision and recall
satisfiability problem
genetic algorithm
learning algorithm
sat solvers
optimal allocation
dynamic allocation