Searched for: subject%3A%22software%255C%252Bproduct%255C%252Bline%22
(1 - 1 of 1)
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