TY  - RPRT
TI  - A reduction of 3-SAT problem to Buchberger algorithm
AU  - Maiia Bakhova
PY  - 2013
UR  - https://arxiv.org/abs/1307.3682
ID  - 1307.3682
ER  -