Variable interaction graph (left) and recombination graph (right), generated by Chen and Whitley (2017), for instance atco_enc3_opt1_13_48 (1,067,657 variables) from the SAT Competition 2014. The recombination graph contains 1,087 connected components.
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.