Skip to content

A Parallel Branch and Bound Algorithm for Test Generation.

Srinivas Patil, Prithviraj Banerjee

VenueA*DAC
Year1989
ProceedingsDAC

Browse the full DAC paper archive.