YewPar: Skeletons for Exact Combinatorial Search