An exact input encoding algorithm for BDDs representing FSMs | IEEE Conference Publication | IEEE Xplore