TY  - RPRT
TI  - Classical and Quantum Algorithms for the Boolean Satisfiability Problem
AU  - Carlos Barrón-Romero
PY  - 2016
UR  - https://arxiv.org/abs/1510.02682
ID  - 1510.02682
ER  -