Sciweavers

JAIR
2007

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

13 years 11 months ago
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively
Haixia Jia, Cristopher Moore, Doug Strain
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JAIR
Authors Haixia Jia, Cristopher Moore, Doug Strain
Comments (0)