Sums of squares, satisfiability and maximum satisfiability

H van Maaren; L van Norden

Sums of squares, satisfiability and maximum satisfiability

H van Maaren, L van Norden

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

11 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Theory and applications of satisfiability testing
Editors	F Bacchus, T Walsh
Place of Publication	Berlin
Publisher	Springer
Pages	294-308
Number of pages	15
ISBN (Print)	3-540-26276-8
Publication status	Published - 2005
Event	Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland - Berlin Duration: 19 Jun 2005 → 23 Jun 2005

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	3569
ISSN (Print)	0302-9743

Conference

Conference	Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland
Period	19/06/05 → 23/06/05

Keywords

Wiskunde en Informatica
Techniek
technische Wiskunde en Informatica
conference contrib. refereed
ZX CWTS JFIS < 1.00

Cite this

@inproceedings{97fd61ae1da34e44b5ebb575588352a9,

title = "Sums of squares, satisfiability and maximum satisfiability",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, conference contrib. refereed, ZX CWTS JFIS < 1.00",

author = "{van Maaren}, H and {van Norden}, L",

year = "2005",

language = "Undefined/Unknown",

isbn = "3-540-26276-8",

publisher = "Springer",

pages = "294--308",

editor = "F Bacchus and T Walsh",

booktitle = "Theory and applications of satisfiability testing",

note = "Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland ; Conference date: 19-06-2005 Through 23-06-2005",

}

van Maaren, H & van Norden, L 2005, Sums of squares, satisfiability and maximum satisfiability. in F Bacchus & T Walsh (eds), Theory and applications of satisfiability testing. Lecture Notes in Computer Science, vol. 3569, Springer, Berlin, pp. 294-308, Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland, 19/06/05.

Sums of squares, satisfiability and maximum satisfiability. / van Maaren, H; van Norden, L.
Theory and applications of satisfiability testing. ed. / F Bacchus; T Walsh. Berlin: Springer, 2005. p. 294-308 (Lecture Notes in Computer Science; Vol. 3569).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Sums of squares, satisfiability and maximum satisfiability

AU - van Maaren, H

AU - van Norden, L

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica

KW - Techniek

KW - technische Wiskunde en Informatica

KW - conference contrib. refereed

KW - ZX CWTS JFIS < 1.00

M3 - Conference contribution

SN - 3-540-26276-8

SP - 294

EP - 308

BT - Theory and applications of satisfiability testing

A2 - Bacchus, F

A2 - Walsh, T

PB - Springer

CY - Berlin

T2 - Eighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland

Y2 - 19 June 2005 through 23 June 2005

ER -