Decision diagrams for linear arithmetic.

Sagar Chaki Arie Gurfinkel Ofer Strichman

Published in: FMCAD (2009)

Keyphrases

decision diagrams
multiple valued
digital circuits
markov decision processes
machine learning
efficient computation
search algorithm
multiresolution
multi dimensional