Finding Large Cliques using SAT Local Search

Steven Prestwich

doi:10.1002/9780470612309.ch15

Finding Large Cliques using SAT Local Search

Steven Prestwich

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

Original language	English
Title of host publication	Trends in Constraint Programming
Publisher	Wiley-ISTE
Pages	269-274
Number of pages	6
ISBN (Print)	9781905209972
DOIs	https://doi.org/10.1002/9780470612309.ch15
Publication status	Published - 5 Jan 2010

Keywords

Biological and archaeological data
Different modeling aims
Investigate methods
Theoretical results
Vertex coloring

Access to Document

10.1002/9780470612309.ch15

Cite this

@inbook{0835e8f873f640a587e662d229758305,

title = "Finding Large Cliques using SAT Local Search",

keywords = "Biological and archaeological data, Different modeling aims, Investigate methods, Theoretical results, Vertex coloring",

author = "Steven Prestwich",

year = "2010",

month = jan,

day = "5",

doi = "10.1002/9780470612309.ch15",

language = "English",

isbn = "9781905209972",

pages = "269--274",

booktitle = "Trends in Constraint Programming",

publisher = "Wiley-ISTE",

}

TY - CHAP

T1 - Finding Large Cliques using SAT Local Search

AU - Prestwich, Steven

PY - 2010/1/5

Y1 - 2010/1/5

KW - Biological and archaeological data

KW - Different modeling aims

KW - Investigate methods

KW - Theoretical results

KW - Vertex coloring

UR - https://www.scopus.com/pages/publications/72949083343

U2 - 10.1002/9780470612309.ch15

DO - 10.1002/9780470612309.ch15

M3 - Chapter

AN - SCOPUS:72949083343

SN - 9781905209972

SP - 269

EP - 274

BT - Trends in Constraint Programming

PB - Wiley-ISTE

ER -

Finding Large Cliques using SAT Local Search

Keywords

Access to Document

Other files and links

Cite this