Can I read SATLIB Benchmark Suite Overview on EtoBox?
SATLIB Benchmark Suite Overview by Thuong Vu is a document available to read on EtoBox.
What is SATLIB Benchmark Suite Overview about?
SATLIB is an online resource established in 1998 that provides a benchmark suite of SAT instances and a collection of SAT solvers to facilitate empirical research on SAT. The benchmark suite focuses on various types of SAT problems, including randomly generated instances and instances from applications, with the goal of supporting different types of studies in an unbiased way. SATLIB encourages submissions of new benchmark problems, solvers, and bibliography entries to increase its usefulness as a resource
- Author
- Thuong Vu
- Language
- EN