Some integer formula-encodings and related algorithms

Edinah K. Gnang Patrick Devlin

Published in: CoRR (2013)

Keyphrases

related algorithms
orders of magnitude
floating point
non binary
integer arithmetic
real time
real world
genetic algorithm
case study
relational databases