Incorporating Clause Learning in Grid-Based Randomized SAT Solving (2009)
AUTHORS:
Hyvärinen Antti E. J.,
Junttila Tommi
,
Niemelä Ilkka
JOURNAL:
Journal on Satisfiability, Boolean Modeling and Computation
VOLUME:
6
PAGES:
223--244
@article{ HyvarinenJunttilaNiemela:JSAT09, author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka}, responsibleauthor = {Hyv{\"a}rinen, Antti}, title = "Incorporating Clause Learning in Grid-Based Randomized {SAT} Solving", journal = "Journal on Satisfiability, Boolean Modeling and Computation", volume = "6", flags = "MCM public", year = "2009", impactfactor = "A", pages = "223--244" }