TY  - RPRT
TI  - A Simple Model to Generate Hard Satisfiable Instances
AU  - Ke Xu
AU  - Frederic Boussemart
AU  - Fred Hemery
AU  - Christophe Lecoutre
PY  - 2005
UR  - https://arxiv.org/abs/cs/0509032
ID  - cs/0509032
ER  -