Impact of Restricted Branching on Clause Learning SAT Solving (2007)
AUTHORS:
Järvisalo Matti
@phdthesis{ JarvisaloMLic2007, author = "Järvisalo, Matti", juforank = "NA", school = "Helsinki University of Technology", note = "Licentiate thesis", isbn = "0", language = "eng", title = "Impact of Restricted Branching on Clause Learning SAT Solving", url = "", timestamp = "2014.05.21", responsibleauthor = "Järvisalo, Matti", flags = "", il = "no", year = "2007", owner = "MN", unitcode = "T306-100", kay = "NA", impactfactor = "G3", type = "Licentiate Thesis" }