| 10356 | Grammar | 다국어 |
| 10374 | Combinator Expression | 다국어 |
| 10418 | Yet Satisfiability Again! | 다국어 |
| 10499 | Out of context | 다국어 |
| 10591 | Cactus Generator | 스페셜 저지 다국어 |
| 10620 | Urdu orthography verification | 다국어 |
| 11114 | Paper | 다국어 |
| 11289 | Boolean Postfix | 다국어 |
| 11330 | Implication | 다국어 |
| 11411 | Equivalence | 다국어 |
| 11471 | Fygon | 스페셜 저지 다국어 |
| 11516 | Interpreter | 다국어 |
| 12643 | Decision Tree (Small) | 스페셜 저지 다국어 |
| 12644 | Decision Tree (Large) | 스페셜 저지 다국어 |
| 12703 | Cheating a Boolean Tree (Small) | 다국어 |
| 12704 | Cheating a Boolean Tree (Large) | 다국어 |
| 13234 | George Boole | 다국어 |
| 13403 | Infallibly Crack Perplexing Cryptarithm | 다국어 |
| 13404 | Three Kingdoms of Bourdelot | 다국어 |
| 13450 | László Babai | 다국어 |
| 13451 | Stephen Cook | 다국어 |
| 13452 | Edsger Dijkstra | 다국어 |
| 13455 | Kurt Gödel | 다국어 |
| 13956 | Lost Logic | 스페셜 저지 다국어 |
| 13996 | Hard Refactoring | 스페셜 저지 다국어 |
| 14198 | Halting Machine | 다국어 |
| 14518 | Ili | 서브태스크 다국어 |
| 14524 | COWBASIC | 다국어 |
| 14973 | Boolean Expression Compressor | 다국어 |
| 15116 | Unsatisfying | 다국어 |
| 15132 | Boolean Satisfiability | 다국어 |
| 15136 | Fygon 2.0 | 다국어 |
| 15172 | False Intelligence | 다국어 |
| 15278 | Decisions, Decisions | 다국어 |
| 16038 | Expression Mining | 다국어 |
| 16054 | Pants On Fire | 다국어 |
| 16133 | 공학용 계산기 (Calculator) | 서브태스크 |
| 16291 | Suffix-Freeness | 다국어 채점 준비 중 |
| 16454 | Modificando SAT | 다국어 |
| 16667 | Harder Satisfiability | 다국어 |
| 16669 | JS Minification | 스페셜 저지 다국어 |
| 17585 | Circuit Math | 다국어 |
| 17903 | Counting Clauses | 다국어 |
| 18166 | Evaluation | 서브태스크 |
| 18167 | Functional Analysis | |
| 18639 | Three Vectors | 스페셜 저지 다국어 |
| 18765 | 정*수-를+[만들자!] | 서브태스크 스페셜 저지 다국어 |
| 19534 | 삼항 연산자 | |
| 19837 | Game of 2-SAT | 다국어 인터랙티브 |
