Searched for: author%3A%22Cordy%2C+Maxime%22
(1 - 2 of 2)
Arcelli Fontana, Francesca (author), Perrouin, Gilles (author), Ampatzoglou, Apostolos (author), Archer, Mathieu (author), Walter, Bartosz (author), Cordy, Maxime (author), Palomba, Fabio (author), Devroey, Xavier (author)
journal article 2020
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