 |
H. H. Hoos and T. Stützle. Local Search Algorithms for SAT: An Empirical Evaluation. Journal of Automated Reasoning, 24(4):421-481, 2000.
© Springer-Verlag 2000
@article{HooStu2000:jar,
author = {Holger H. Hoos and Thomas Stützle},
title = {Local Search Algorithms for {SAT}: An Empirical Evaluation},
year = {2000},
journal = {Journal of Automated Reasoning},
volume = {24},
number = {4},
pages = {421--481}
}
|
 |