no code implementations • 13 Sep 2022 • Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer, Markus Iser
Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances.