A Decision Procedure for Bit-Vector Arithmetic.

Clark W. Barrett David L. Dill Jeremy R. Levitt

Published in: DAC (1998)

Keyphrases

bit vector
decision making
decision process
bit vectors
iterative procedure
three dimensional
objective function
search algorithm
multiresolution
special case
decision makers
decision rules
utility function