Efficient BDDs for bounded arithmetic constraints.

Constantinos Bartzis Tevfik Bultan

Published in: Int. J. Softw. Tools Technol. Transf. (2006)

Keyphrases

arithmetic constraints
special case
upper bound
decision makers
constraint satisfaction problems
missing data
decision problems