Back to Results
First PageMeta Content
Graph coloring / NP-complete problems / Complexity classes / Boolean satisfiability problem / SL / 2-satisfiability / Greedy coloring / Theoretical computer science / Graph theory / Mathematics


Dynamic Symmetry Breaking by Simulating Zykov Contraction Bas Schaafsma, Marijn Heule! and Hans van Maaren Department of Software Technology, Delft University of Technology [removed], [removed], h.van
Add to Reading List

Document Date: 2009-04-21 07:17:46


Open Document

File Size: 268,16 KB

Share Result on Facebook
UPDATE