@inproceedings{DAC-1994-SilvaS,
	author        = "João P. Marques Silva and Karem A. Sakallah",
	booktitle     = "{Proceedings of the 31st Design Automation Conference}",
	doi           = "10.1145/196244.196621",
	isbn          = "0-7803-1836-6",
	pages         = "705--711",
	publisher     = "{ACM Press}",
	title         = "{Dynamic Search-Space Pruning Techniques in Path Sensitization}",
	year          = 1994,
}