Dynamic Symmetry Breaking by Simulating Zykov Contraction

B Schaafsma; MJH Heule; H van Maaren

Dynamic Symmetry Breaking by Simulating Zykov Contraction

B Schaafsma, MJH Heule, H van Maaren

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

26 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Theory and Applications of Satisfiability Testing -- SAT 2009
Editors	O Kullmann
Place of Publication	Berlin
Publisher	Springer
Pages	223-236
Number of pages	14
ISBN (Print)	978-3-642-02776-5
Publication status	Published - 2009
Event	SAT 2009 - Berlin Duration: 30 Jun 2009 → 3 Jul 2009

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	5584
ISSN (Print)	0302-9743

Conference

Conference	SAT 2009
Period	30/06/09 → 3/07/09

Keywords

CWTS JFIS < 0.75

Cite this

@inproceedings{92f8856aea2147c9860e0dcf02b472d9,

title = "Dynamic Symmetry Breaking by Simulating Zykov Contraction",

keywords = "CWTS JFIS < 0.75",

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

year = "2009",

language = "Undefined/Unknown",

isbn = "978-3-642-02776-5",

publisher = "Springer",

pages = "223--236",

editor = "O Kullmann",

booktitle = "Theory and Applications of Satisfiability Testing -- SAT 2009",

note = "SAT 2009 ; Conference date: 30-06-2009 Through 03-07-2009",

}

Dynamic Symmetry Breaking by Simulating Zykov Contraction. / Schaafsma, B; Heule, MJH; van Maaren, H.
Theory and Applications of Satisfiability Testing -- SAT 2009. ed. / O Kullmann. Berlin: Springer, 2009. p. 223-236 (Lecture Notes in Computer Science; Vol. 5584).

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

TY - GEN

T1 - Dynamic Symmetry Breaking by Simulating Zykov Contraction

AU - Schaafsma, B

AU - Heule, MJH

AU - van Maaren, H

PY - 2009

Y1 - 2009

KW - CWTS JFIS < 0.75

UR - http://www.st.ewi.tudelft.nl/%7Emarijn/publications/Zykov_SAT2009.pdf

M3 - Conference contribution

SN - 978-3-642-02776-5

SP - 223

EP - 236

BT - Theory and Applications of Satisfiability Testing -- SAT 2009

A2 - Kullmann, O

PB - Springer

CY - Berlin

T2 - SAT 2009

Y2 - 30 June 2009 through 3 July 2009

ER -

Dynamic Symmetry Breaking by Simulating Zykov Contraction

Publication series

Conference

Keywords

Other files and links

Cite this