Construction of Efficient BDDs for Bounded Arithmetic Constraints.

Constantinos Bartzis Tevfik Bultan

Published in: TACAS (2003)

Keyphrases

arithmetic constraints
heuristic search
special case
database
databases
decision making