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