On the use of don't cares during symbolic reachability analysis.

Sherief Reda, Ayman Wahba, Ashraf Salem, Dominique Borrione, M. Ghonaimy

Browse the full ISCAS paper archive.