Community structure in SAT instances

1 talks about Community structure in SAT instances

GTAC 2014: Impact of Community Structure on SAT Solver Performance

GTAC 2014: Impact of Community Structure on SAT Solver Performance

Google Tech Talks

0 views

November 15 2014