BURST: Benchmarking uniform random sampling techniques

Open Webpage

Mathieu Acher, Gilles Perrouin, Maxime Cordy

Published: 2023, Last Modified: 27 Sept 2024Sci. Comput. Program. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Uniform generation of solutions for SAT formulas is a theoretical and practical problem for software engineering and AI.•BURST provides a benchmarking platform for evaluating the scalability and uniformity of feature model and SAT samplers.•BURST is extendable to new samplers and comes with an extensive benchmark comprising 500+ SAT formulae and feature models.