Searched for: author%3A%22Plazar%2C+Quentin%22
(1 - 1 of 1)
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