SJSU Weekly Practice Problems 5/23

Problem K
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions 2926
Accepted submissions 813
Submission ratio 27.79%
Authors 560
Accepted authors 479
Author ratio 85.54%

Solution running time distribution