Construction of Efficient BDDs for Bounded Arithmetic Constraints.

Constantinos Bartzis, Tevfik Bultan

Browse the full TACAS paper archive.