Hidden Gold in Random Generation of SAT Satisfiable Instances.

Thierry Castell, Michel Cayrol

Browse the full IJCAI paper archive.