Incorporating Learning in Grid-Based Randomized SAT Solving (2008)
AUTHORS:
Hyvärinen Antti E. J.,
Junttila Tommi
,
Niemelä Ilkka
BOOKTITLE:
Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008)
SERIES:
Lecture Notes in Artificial Intelligence
VOLUME:
5253
PAGES:
247--261
@inproceedings{ HyvarinenJunttilaNiemela:AIMSA2008, editor = "Dochev, Danail and Pistore, Marco and Traverso, Paolo", author = {Hyv\"arinen, Antti E. J. and Junttila, Tommi and Niemel\"a, Ilkka}, publisher = "Springer", optmonth = "September 4--6", title = "Incorporating Learning in Grid-Based Randomized {SAT} Solving", series = "Lecture Notes in Artificial Intelligence", booktitle = "Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 2008)", optaddress = "Varna, Bulgaria", volume = "5253", flags = "copy DC", year = "2008", pages = "247--261" }