TY  - RPRT
TI  - Solving and Sampling with Many Solutions: Satisfiability and Other Hard Problems
AU  - Jean Cardinal
AU  - Jerri Nummenpalo
AU  - Emo Welzl
PY  - 2017
UR  - https://arxiv.org/abs/1708.01122
ID  - 1708.01122
ER  -