Symbolic verification of Boolean constraints over partially specified functions.

S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti

Browse the full ISCAS paper archive.