Searched for: subject:"software%5C%2Bproduct%5C%2Bline"
(1 - 1 of 1)
document
Plazar, Quentin (author), Acher, Mathieu (author), Perrouin, Gilles (author), Devroey, X.D.M. (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