![]() |
@article{DBLP:journals/ai/ZhouHN09,
author = {Yuren Zhou and
Jun He and
Qing Nie},
title = {A comparative runtime analysis of heuristic algorithms for
satisfiability problems},
journal = {Artif. Intell.},
volume = {173},
number = {2},
year = {2009},
pages = {240-257},
ee = {http://dx.doi.org/10.1016/j.artint.2008.11.002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-01-20 by Michael Ley (ley@uni-trier.de)