- document
-
Plazar, Quentin (author), Acher, Mathieu (author), Perrouin, Gilles (author), Devroey, Xavier (author), Cordy, Maxime (author)Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem of theoretical and practical interest for the testing community. Recent works proposed two algorithms (namely UniGen and QuickSampler) for reaching a good compromise between execution time and uniformity guarantees, with empirical evidence on SAT...conference paper 2019