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
URL:
http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_11_Hyvarinen.pdf
@article{ HyvarinenJunttilaNiemela:JSAT2009, author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka}, title = "Incorporating Clause Learning in Grid-Based Randomized {SAT} Solving", url = "http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_11_Hyvarinen.pdf", journal = "Journal on Satisfiability, Boolean Modeling and Computation", corerank = "C", volume = "6", flags = "copy DC", year = "2009", pages = "223--244" }