Standard

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/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

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.

APA

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 (pp. 294-308). (Lecture Notes in Computer Science; Vol. 3569). Berlin: Springer.

Vancouver

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

Author

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

BibTeX

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

}

RIS

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

ER -

ID: 1882981