49 citations · 109 across the 9 of their papers we have counts for
1 paper · 1 filter
Roberto Asín, Juan Olate, Leo Ferres
Parallel SAT solvers are becoming mainstream. Their performance has made them win the past two SAT competitions consecutively and are in the limelight of research and industry. The…