8 citations · 23 across the 8 of their papers we have counts for
1 paper · 1 filter
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitrarily efficient solver can be significantly outperform…