Relaxations of the satisfiability problem using semidefinite programming

E de Klerk; H van Maaren; JP Warners

Relaxations of the satisfiability problem using semidefinite programming

E de Klerk, H van Maaren, JP Warners

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

Original language	Undefined/Unknown
Title of host publication	SAT2000: highlights of satisfiability research in the year 2000 [Frontiers in artificial intelligence, vol. 63]
Editors	I Gent, van H Maaren, T Walsh
Place of Publication	Amsterdam
Publisher	IOS Press
Pages	189-214
ISBN (Print)	1-58603-061-2
Publication status	Published - 2000

Keywords

ZX Int.klas.verslagjaar < 2002

Cite this

@inbook{0c2fd6382af44409a535f3811ecd210a,

title = "Relaxations of the satisfiability problem using semidefinite programming",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "{de Klerk}, E and {van Maaren}, H and JP Warners",

year = "2000",

language = "Undefined/Unknown",

isbn = "1-58603-061-2",

pages = "189--214",

editor = "{I Gent} and {H Maaren}, van and {T Walsh}",

booktitle = "SAT2000: highlights of satisfiability research in the year 2000 [Frontiers in artificial intelligence, vol. 63]",

publisher = "IOS Press",

address = "Netherlands",

}

Relaxations of the satisfiability problem using semidefinite programming. / de Klerk, E; van Maaren, H; Warners, JP.
SAT2000: highlights of satisfiability research in the year 2000 [Frontiers in artificial intelligence, vol. 63]. ed. / I Gent; van H Maaren; T Walsh. Amsterdam: IOS Press, 2000. p. 189-214.

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

TY - CHAP

T1 - Relaxations of the satisfiability problem using semidefinite programming

AU - de Klerk, E

AU - van Maaren, H

AU - Warners, JP

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Chapter

SN - 1-58603-061-2

SP - 189

EP - 214

BT - SAT2000: highlights of satisfiability research in the year 2000 [Frontiers in artificial intelligence, vol. 63]

A2 - I Gent, null

A2 - H Maaren, van

A2 - T Walsh, null

PB - IOS Press

CY - Amsterdam

ER -