Symbiosis of Search and Heuristics for Random 3-SAT

S Mijnders; B de Wilde; MJH Heule

Symbiosis of Search and Heuristics for Random 3-SAT

S Mijnders, B de Wilde, MJH Heule

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

Original language	English
Title of host publication	Proceedings of the Third International Workshop on Logic and Search (LaSh 2010)
Editors	D Mitchell, E Ternovska
Place of Publication	Edinburgh, Schotland
Publisher	LaSh
Pages	1-15
Number of pages	15
Publication status	Published - 2010
Event	Third International workshop on Logic and Search, LaSh 2010 - Edinburgh, Schotland Duration: 15 Jul 2010 → 15 Jul 2010

Publication series

Name
Publisher	LaSh

Conference

Conference	Third International workshop on Logic and Search, LaSh 2010
Period	15/07/10 → 15/07/10

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{f0e9341af4f941c48d52c89ff065f325,

title = "Symbiosis of Search and Heuristics for Random 3-SAT",

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

author = "S Mijnders and {de Wilde}, B and MJH Heule",

year = "2010",

language = "English",

publisher = "LaSh",

pages = "1--15",

editor = "D Mitchell and E Ternovska",

booktitle = "Proceedings of the Third International Workshop on Logic and Search (LaSh 2010)",

note = "Third International workshop on Logic and Search, LaSh 2010 ; Conference date: 15-07-2010 Through 15-07-2010",

}

Symbiosis of Search and Heuristics for Random 3-SAT. / Mijnders, S; de Wilde, B; Heule, MJH.

Proceedings of the Third International Workshop on Logic and Search (LaSh 2010). ed. / D Mitchell; E Ternovska. Edinburgh, Schotland : LaSh, 2010. p. 1-15.

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

TY - GEN

T1 - Symbiosis of Search and Heuristics for Random 3-SAT

AU - Mijnders, S

AU - de Wilde, B

AU - Heule, MJH

PY - 2010

Y1 - 2010

KW - Conf.proc. > 3 pag

UR - http://www.st.ewi.tudelft.nl/~marijn/publications/ALDS_LaSh.pdf

M3 - Conference contribution

SP - 1

EP - 15

BT - Proceedings of the Third International Workshop on Logic and Search (LaSh 2010)

A2 - Mitchell, D

A2 - Ternovska, E

PB - LaSh

CY - Edinburgh, Schotland

T2 - Third International workshop on Logic and Search, LaSh 2010

Y2 - 15 July 2010 through 15 July 2010

ER -

Symbiosis of Search and Heuristics for Random 3-SAT

Publication series

Conference

Keywords

Other files and links

Cite this