Incorporating Learning in Grid-Based Randomized SAT Solving (2008)
AUTHORS:
Hyvärinen Antti E. J.,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
AIMSA 2008
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
5253
PAGES:
247-261
@inproceedings{ HyvarinenJunttilaNiemela:AIMSA2008, editor = "Dochev, Daniel and Pistore, Marco and Traverso, Paolo", author = {Hyv{\"a}rinen, Antti E. J. and Junttila, Tommi and Niemel{\"a}, Ilkka}, publisher = "Springer", responsibleauthor = {Antti E. J. Hyv{\"a}rinen}, title = "Incorporating Learning in Grid-Based Randomized SAT Solving", series = "Lecture Notes in Artificial Intelligence", booktitle = "AIMSA 2008", volume = "5253", flags = "MCM public", year = "2008", impactfactor = "D3", pages = "247-261" }