A program transformation for faster goal-directed search.

Akash Lal, Shaz Qadeer

Browse the full FMCAD paper archive.