Alternate and Learn: Finding Witnesses without Looking All over.

Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan

Browse the full CAV paper archive.