Venture: a higher-order probabilistic programming platform with programmable inference
SATzilla: Portfolio-based Algorithm Selection for SAT