TY  - RPRT
TI  - Positive 1-in-3-SAT admits a non-trivial Kernel
AU  - Valentin Bura
PY  - 2020
UR  - https://arxiv.org/abs/1808.02821
ID  - 1808.02821
ER  -