SDSMT Spring 2022 Practice #2
Problem C
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% |