3 citations · 3 across the 3 of their papers we have counts for
1 paper · 2 filters
Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann +4
Visual layouts of graphs representing SAT instances can highlight the community structure of SAT instances. The community structure of SAT instances has been associated with both i…