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

MJH Heule, H van Maaren

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of Guangzhou Symposium on Satisfiability in Logic Based Modeling
Editors	s.n.
Place of Publication	Guangzhou, China
Publisher	Sun-Yat-sen University
Pages	82-90
Number of pages	9
Publication status	Published - 2006
Event	Guangzhou Symposium on Satisfiability in Logic Based Modeling - Guangzhou, China Duration: 24 Sept 2006 → 27 Sept 2006

Name
Publisher	Sun-Yat-sen University

Conference	Guangzhou Symposium on Satisfiability in Logic Based Modeling
Period	24/09/06 → 27/09/06

Keywords

@inproceedings{edb5161d69524ab9adf91ce5f4908890,

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

keywords = "Conf.proc. > 3 pag",

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

year = "2006",

language = "Undefined/Unknown",

publisher = "Sun-Yat-sen University",

pages = "82--90",

editor = "s.n.",

booktitle = "Proceedings of Guangzhou Symposium on Satisfiability in Logic Based Modeling",

note = "Guangzhou Symposium on Satisfiability in Logic Based Modeling ; Conference date: 24-09-2006 Through 27-09-2006",

}

TY - GEN

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

AU - Heule, MJH

AU - van Maaren, H

PY - 2006

Y1 - 2006

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SP - 82

EP - 90

BT - Proceedings of Guangzhou Symposium on Satisfiability in Logic Based Modeling

A2 - s.n., null

PB - Sun-Yat-sen University

CY - Guangzhou, China

T2 - Guangzhou Symposium on Satisfiability in Logic Based Modeling

Y2 - 24 September 2006 through 27 September 2006

ER -