Reference:
Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Incorporating clause learning in grid-based randomized SAT solving. Journal on Satisfiability, Boolean Modeling and Computation, 6:223–244, 2009.
Suggested BibTeX entry:
@article{HyvarinenJunttilaNiemela:JSAT09,
author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
journal = {Journal on Satisfiability, Boolean Modeling and Computation},
pages = {223--244},
title = {Incorporating Clause Learning in Grid-Based Randomized {SAT} Solving},
volume = {6},
year = {2009},
}
|