38 citations · 94 across the 26 of their papers we have counts for
1 paper · 2 filters
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…