%0 Conference Paper %1 conf/aimsa/HyvarinenJN08 %A Hyvärinen, Antti Eero Johannes %A Junttila, Tommi A. %A Niemelä, Ilkka %B AIMSA %D 2008 %E Dochev, Danail %E Pistore, Marco %E Traverso, Paolo %I Springer %K dblp %P 247-261 %T Incorporating Learning in Grid-Based Randomized SAT Solving. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa2008.html#HyvarinenJN08 %V 5253 %@ 978-3-540-85775-4

@inproceedings{conf/aimsa/HyvarinenJN08, added-at = {2017-05-21T00:00:00.000+0200}, author = {Hyvärinen, Antti Eero Johannes and Junttila, Tommi A. and Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/2d679765f098a4393b5c35982334b5249/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/2008}, editor = {Dochev, Danail and Pistore, Marco and Traverso, Paolo}, ee = {https://doi.org/10.1007/978-3-540-85776-1_21}, interhash = {c2497471f9f4e75eed2f37a1444d64ec}, intrahash = {d679765f098a4393b5c35982334b5249}, isbn = {978-3-540-85775-4}, keywords = {dblp}, pages = {247-261}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:02:16.000+0200}, title = {Incorporating Learning in Grid-Based Randomized SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa2008.html#HyvarinenJN08}, volume = 5253, year = 2008 }