Harder Satisfiability

problem — every listed problem · all sets

internal id
p-8d4fe326
appearances
nerc-2018 (nerc-2018) — H
held
not recorded yet
solve online
Baekjoon Online Judge (wayback) closed 2026-04-28 id 16667
Codeforces Gym id 1089H
data
problemsets/nerc-2018.yaml

St statement · D test data · IV/OV input/output validator · So solutions · P complete package — filled = held.