Lazy Product Discovery in Huge Configuration Spaces - Lienhardt, Michael (arXiv.org)