Generating random 3-SAT instances with specific solution space structure
Pushkin R. Pari, Jane Lin, Yuan Lin, Gang Qu · 2004
Generating good benchmarks is important for the evaluation and improvement of any algorithm for NP-hard problems such as the Boolean satisfiability (SAT) problem. Carefully designed benchmarks are also helpful in the study of the nature