Black Box Unfolding with Local First Search.

Sbastien Bornot, Rmi Morin, Peter Niebert, Sarah Zennou

Browse the full TACAS paper archive.