Jean Cardinal, Jerri Nummenpalo, Emo Welzl: Solving and Sampling with Many Solutions: Satisfiability and Other Hard Problems. IPEC 2017: 11:1-11:12