Jean Cardinal, Jerri Nummenpalo, Emo Welzl. Solving and Sampling with Many Solutions: Satisfiability and Other Hard Problems. In Daniel Lokshtanov, Naomi Nishimura, editors, 12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria. Volume 89 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.