%0 Journal Article %1 journals/jair/JiaMS07 %A Jia, Haixia %A Moore, Cristopher %A Strain, Doug %D 2007 %J J. Artif. Intell. Res. %K dblp %P 107-118 %T Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively. %U http://dblp.uni-trier.de/db/journals/jair/jair28.html#JiaMS07 %V 28

@article{journals/jair/JiaMS07, added-at = {2022-01-03T00:00:00.000+0100}, author = {Jia, Haixia and Moore, Cristopher and Strain, Doug}, biburl = {https://www.bibsonomy.org/bibtex/251db9a91a366fedac7015660d8dfb229/dblp}, ee = {https://doi.org/10.1613/jair.2039}, interhash = {d3a60eeb4144c35021f3ec82102dd49d}, intrahash = {51db9a91a366fedac7015660d8dfb229}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {107-118}, timestamp = {2024-04-08T20:02:23.000+0200}, title = {Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair28.html#JiaMS07}, volume = 28, year = 2007 }