Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	223-244
Journal	Journal of Satisfiability, Boolean Modeling and Computation
Volume	6
Publication status	Published - 2009
MoE publication type	A1 Journal article-refereed

Cite this

@article{46dfc91c33364aeab5a9419656a73139,

title = "Incorporating Clause Learning in Grid-Based Randomized SAT Solving",

author = "Hyv{\"a}rinen, {Antti E.J.} and Tommi Junttila and Ilkka Niemel{\"a}",

year = "2009",

language = "English",

volume = "6",

pages = "223--244",

journal = "Journal of Satisfiability, Boolean Modeling and Computation",

issn = "1875-5011",

publisher = "IOS Press",

}