A linear programming based satisfiability solver using a new horn-driven search tree design

L van Norden; H van Maaren

A linear programming based satisfiability solver using a new horn-driven search tree design

L van Norden, H van Maaren

Data-Intensive Systems

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

Original language	Undefined/Unknown
Title of host publication	Principles and practice of constraint programming - CP 2002
Editors	P Van Hentenryck
Place of Publication	Berlin
Publisher	Springer
Pages	775-776
Number of pages	2
ISBN (Print)	3-540-44120-4
Publication status	Published - 2002
Event	Principles and practice of constraint programming: 8th international conference - Berlin Duration: 9 Sept 2002 → 13 Sept 2002

Publication series

Name
Publisher	Springer-Verlag

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

Conference

Conference	Principles and practice of constraint programming: 8th international conference
Period	9/09/02 → 13/09/02

Keywords

Wiskunde en Informatica
Techniek
technische Wiskunde en Informatica
conference contrib. refereed
Geen BTA classificatie
ZX Int.klas.verslagjaar < 2002

Cite this

@inproceedings{7aacdfbcae744946927a5253a8356fba,

title = "A linear programming based satisfiability solver using a new horn-driven search tree design",

keywords = "Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, conference contrib. refereed, Geen BTA classificatie, ZX Int.klas.verslagjaar < 2002",

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

year = "2002",

language = "Undefined/Unknown",

isbn = "3-540-44120-4",

publisher = "Springer",

pages = "775--776",

editor = "{Van Hentenryck}, P",

booktitle = "Principles and practice of constraint programming - CP 2002",

note = "Principles and practice of constraint programming: 8th international conference ; Conference date: 09-09-2002 Through 13-09-2002",

}

van Norden, L & van Maaren, H 2002, A linear programming based satisfiability solver using a new horn-driven search tree design. in P Van Hentenryck (ed.), Principles and practice of constraint programming - CP 2002. Lecture Notes in Computer Science, vol. 2470, Springer, Berlin, pp. 775-776, Principles and practice of constraint programming: 8th international conference, 9/09/02.

A linear programming based satisfiability solver using a new horn-driven search tree design. / van Norden, L; van Maaren, H.
Principles and practice of constraint programming - CP 2002. ed. / P Van Hentenryck. Berlin: Springer, 2002. p. 775-776 (Lecture Notes in Computer Science; Vol. 2470).

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

TY - GEN

T1 - A linear programming based satisfiability solver using a new horn-driven search tree design

AU - van Norden, L

AU - van Maaren, H

PY - 2002

Y1 - 2002

KW - Wiskunde en Informatica

KW - Techniek

KW - technische Wiskunde en Informatica

KW - conference contrib. refereed

KW - Geen BTA classificatie

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 3-540-44120-4

SP - 775

EP - 776

BT - Principles and practice of constraint programming - CP 2002

A2 - Van Hentenryck, P

PB - Springer

CY - Berlin

T2 - Principles and practice of constraint programming: 8th international conference

Y2 - 9 September 2002 through 13 September 2002

ER -