Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Sivut	223-244
Julkaisu	Journal of Satisfiability, Boolean Modeling and Computation
Vuosikerta	6
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

OpenUrl-saatavuus

@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",

}