Figure 3:
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.

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.

Close Modal

or Create an Account

Close Modal
Close Modal