March_dl: Adding adaptive heuristics and a new branding strategy

MJH Heule, H van Maaren

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	47-59
Number of pages	13
Journal	Journal on Satisfiability, Boolean Modeling and Computation
Volume	2
Issue number	1-4
Publication status	Published - 2006

Keywords

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

}