TY  - RPRT
TI  - Monte Carlo Search for Very Hard KSAT Realizations for Use in Quantum Annealing
AU  - Neuhaus Thomas
PY  - 2014
UR  - https://arxiv.org/abs/1412.5361
ID  - 1412.5361
ER  -