Impact of Community Structure on SAT Solver Performance

From MaRDI portal
Publication:3192075