Thierry Castell Michel Cayrol Hidden Gold in Random Generation of SAT Satisfiable Instances. 372-377 1997 IJCAI (1) db/conf/ijcai/ijcai97.html#CastellC97