TY  - RPRT
TI  - An exact algorithm for 1-in-3 SAT
AU  - Édouard Bonnet
AU  - Vangelis Th. Paschos
PY  - 2013
UR  - https://arxiv.org/abs/1307.5776
ID  - 1307.5776
ER  -