@inbook{40b70f693dd9409b8af6fa3d34fe1cfc,
title = "Boosting SLS Using Resolution",
keywords = "Highly structured problems, Industrial problems, Modern systematic solvers, Random clause sets, Satisfiability problems",
author = "Anbulagan and Pham, \{Duc Nghia\} and John Slaney and Abdul Sattar",
year = "2010",
month = jan,
day = "5",
doi = "10.1002/9780470612309.ch17",
language = "English",
isbn = "9781905209972",
pages = "283--289",
booktitle = "Trends in Constraint Programming",
publisher = "Wiley-ISTE",
}