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]
@inproceedings{CardinalNW17, title = {Solving and Sampling with Many Solutions: Satisfiability and Other Hard Problems}, author = {Jean Cardinal and Jerri Nummenpalo and Emo Welzl}, year = {2017}, doi = {10.4230/LIPIcs.IPEC.2017.11}, url = {https://doi.org/10.4230/LIPIcs.IPEC.2017.11}, researchr = {https://researchr.org/publication/CardinalNW17}, cites = {0}, citedby = {0}, booktitle = {12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria}, editor = {Daniel Lokshtanov and Naomi Nishimura}, volume = {89}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-051-4}, }