Dynamic Symmetry Breaking by Simulating Zykov Contraction

Conference Paper (2009)
Author(s)

B Schaafsma (External organisation)

MJH Heule (TU Delft - Old - EWI Ch. Optimization Technology)

H van Maaren (TU Delft - Old - EWI Sect. Optimization Technology)

Research Group
Old - EWI Ch. Optimization Technology
More Info
expand_more
Publication Year
2009
Research Group
Old - EWI Ch. Optimization Technology
Pages (from-to)
223-236
Publisher
Springer
ISBN (print)
978-3-642-02776-5
Event
SAT 2009 (2009-06-30 - 2009-07-03), Berlin
Downloads counter
137

No files available

Metadata only record. There are no files for this record.