Boosting SLS Using Resolution

Anbulagan; Duc Nghia Pham; John Slaney; Abdul Sattar

doi:10.1002/9780470612309.ch17

Boosting SLS Using Resolution

Anbulagan^*, Duc Nghia Pham, John Slaney, Abdul Sattar

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Trends in Constraint Programming
Publisher	Wiley-ISTE
Pages	283-289
Number of pages	7
ISBN (Print)	9781905209972
DOIs	https://doi.org/10.1002/9780470612309.ch17
Publication status	Published - 5 Jan 2010
Externally published	Yes

Access to Document

10.1002/9780470612309.ch17

Cite this

@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",

}

TY - CHAP

T1 - Boosting SLS Using Resolution

AU - Anbulagan,

AU - Pham, Duc Nghia

AU - Slaney, John

AU - Sattar, Abdul

PY - 2010/1/5

Y1 - 2010/1/5

KW - Highly structured problems

KW - Industrial problems

KW - Modern systematic solvers

KW - Random clause sets

KW - Satisfiability problems

UR - http://www.scopus.com/inward/record.url?scp=84885793414&partnerID=8YFLogxK

U2 - 10.1002/9780470612309.ch17

DO - 10.1002/9780470612309.ch17

M3 - Chapter

SN - 9781905209972

SP - 283

EP - 289

BT - Trends in Constraint Programming

PB - Wiley-ISTE

ER -

Boosting SLS Using Resolution

Access to Document

Other files and links

Cite this