TY  - RPRT
TI  - Evolving difficult SAT instances thanks to local search
AU  - Olivier Bailleux
PY  - 2010
UR  - https://arxiv.org/abs/1011.5866
ID  - 1011.5866
ER  -