TCS / Research / Publications / Incorporating Clause Learning in Grid-Based Randomized SAT Solving
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Reference:

Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Incorporating clause learning in grid-based randomized SAT solving. Journal on Satisfiability, Boolean Modeling and Computation, 6:223–244, 2009.

Suggested BibTeX entry:

@article{HyvarinenJunttilaNiemela:JSAT09,
    author = {Antti E. J. Hyv{\"a}rinen and Tommi Junttila and Ilkka Niemel{\"a}},
    journal = {Journal on Satisfiability, Boolean Modeling and Computation},
    pages = {223--244},
    title = {Incorporating Clause Learning in Grid-Based Randomized {SAT} Solving},
    volume = {6},
    year = {2009},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.