53 citations · 146 across the 18 of their papers we have counts for
1 paper · 2 filters
Miguel Neves, Inês Lynce, Vasco Manquinho
The most successful parallel SAT and MaxSAT solvers follow a portfolio approach, where each thread applies a different algorithm (or the same algorithm configured differently) to s…