Intelligent backtracking in test generation for combinational circuits.

W. B. Zeng, D. Z. Wei

Browse the full ICCD paper archive.