Standard

March_dl: Adding adaptive heuristics and a new branding strategy. / Heule, MJH; van Maaren, H.

In: Journal on Satisfiability, Boolean Modeling and Computation, Vol. 2, No. 1-4, 2006, p. 47-59.

Research output: Contribution to journalArticleScientificpeer-review

Harvard

Heule, MJH & van Maaren, H 2006, 'March_dl: Adding adaptive heuristics and a new branding strategy' Journal on Satisfiability, Boolean Modeling and Computation, vol. 2, no. 1-4, pp. 47-59.

APA

Heule, MJH., & van Maaren, H. (2006). March_dl: Adding adaptive heuristics and a new branding strategy. Journal on Satisfiability, Boolean Modeling and Computation, 2(1-4), 47-59.

Vancouver

Heule MJH, van Maaren H. March_dl: Adding adaptive heuristics and a new branding strategy. Journal on Satisfiability, Boolean Modeling and Computation. 2006;2(1-4):47-59.

Author

Heule, MJH ; van Maaren, H. / March_dl: Adding adaptive heuristics and a new branding strategy. In: Journal on Satisfiability, Boolean Modeling and Computation. 2006 ; Vol. 2, No. 1-4. pp. 47-59.

BibTeX

@article{1e37fc2bf1f94c11aa0a3ae8ebd409dd,
title = "March_dl: Adding adaptive heuristics and a new branding strategy",
keywords = "Peer-lijst tijdschrift",
author = "MJH Heule and {van Maaren}, H",
year = "2006",
language = "Undefined/Unknown",
volume = "2",
pages = "47--59",
journal = "Journal on Satisfiability, Boolean Modeling and Computation",
issn = "1574-0617",
number = "1-4",

}

RIS

TY - JOUR

T1 - March_dl: Adding adaptive heuristics and a new branding strategy

AU - Heule, MJH

AU - van Maaren, H

PY - 2006

Y1 - 2006

KW - Peer-lijst tijdschrift

M3 - Article

VL - 2

SP - 47

EP - 59

JO - Journal on Satisfiability, Boolean Modeling and Computation

T2 - Journal on Satisfiability, Boolean Modeling and Computation

JF - Journal on Satisfiability, Boolean Modeling and Computation

SN - 1574-0617

IS - 1-4

ER -

ID: 1256309