Frankfurt UAS Exercises Week 4
Problem G
Yet Satisfiability Again! — Problem Statistics
Back to problem description| Submissions | 3316 |
| Accepted submissions | 923 |
| Submission ratio | 27.83% |
| Authors | 643 |
| Accepted authors | 548 |
| Author ratio | 85.23% |