Incorporating Clause Learning in Grid-Based Randomized SAT Solving (2009)

AUTHORS:

Hyvärinen Antti , Junttila Tommi , Niemelä Ilkka

• JOURNAL:
• Journal on Satisfiability, Boolean Modeling and Computation

• PAGES:
• 223-244

INTERNAL PDF:
http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/HJN-JSAT2009.pdf