Whose side are you on? Finding solutions in a biased search-tree

MJH Heule, H van Maaren

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

Original language	Undefined/Unknown
Pages (from-to)	117-148
Number of pages	32
Journal	Journal on Satisfiability, Boolean Modeling and Computation
Volume	4
Publication status	Published - 2008

Keywords

@article{ca376718bc2b415d8c3f48a19593dec8,

title = "Whose side are you on? Finding solutions in a biased search-tree",

keywords = "Peer-lijst tijdschrift",

author = "MJH Heule and {van Maaren}, H",

year = "2008",

language = "Undefined/Unknown",

volume = "4",

pages = "117--148",

journal = "Journal on Satisfiability, Boolean Modeling and Computation",

issn = "1574-0617",

}

TY - JOUR

T1 - Whose side are you on? Finding solutions in a biased search-tree

AU - Heule, MJH

AU - van Maaren, H

PY - 2008

Y1 - 2008

KW - Peer-lijst tijdschrift

UR - http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_7_Heule.pdf

M3 - Article

SN - 1574-0617

VL - 4

SP - 117

EP - 148

JO - Journal on Satisfiability, Boolean Modeling and Computation

JF - Journal on Satisfiability, Boolean Modeling and Computation

ER -