2023 SAT competition main track

The '2023 SAT competition main track' is a benchmark dataset that contains random $k$-SAT instances with tunable structure, used to evaluate the performance of quantum algorithms against classical solutions in solving these instances.

Papers using 2023 SAT competition main track (1)

Assessing fault-tolerant quantum advantage for $k$-SAT with structure2024