Week 10 - In-Class Challenge

Problem A
Yet Satisfiability Again!

Back to problem description

Problem statistics

Submissions 1
Accepted submissions 1
Submission ratio 100.00%
Authors 1
Accepted authors 1
Author ratio 100.00%

Solution running time distribution