![]() |
@article{DBLP:journals/jair/JiaMS07,
author = {Haixia Jia and
Cristopher Moore and
Doug Strain},
title = {Generating Hard Satisfiable Formulas by Hiding Solutions
Deceptively},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {28},
year = {2007},
pages = {107-118},
ee = {http://www.jair.org/papers/paper2039.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2007-07-26 by Michael Ley (ley@uni-trier.de)