Impact of Restricted Branching on Clause Learning SAT Solving

Reference:

Matti Järvisalo. Impact of Restricted Branching on Clause Learning SAT Solving. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2007.

Suggested BibTeX entry:

@phdthesis{JarvisaloLic,
    author = {Matti J\"arvisalo},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Impact of Restricted Branching on Clause Learning {SAT} Solving},
    type = {Licentiate's Thesis},
    year = {2007},
}