登录
注册
QOJ.ac
QOJ
QOJ
比赛
比赛归档
题库
提交记录
Hack!
博客
Day 1
Day 2
Time Limit: 3 s
Memory Limit: 256 MB
Total points: 10
#6035. CNF-SAT [B]
统计
描述
Languages
Default
English (Open Cup)
提交
自定义测试
下发文件下载
该题目在以下比赛中使用过：
Potyczki Algorytmiczne 2016, Runda 5
XVII Open Cup named after E.V. Pankratiev, Grand Prix of Poland
提交
运行