1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 1 cited
DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability
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…
cs.AI2015
Exploiting Resolution-based Representations for MaxSAT Solving
Miguel Neves, Ruben Martins, Mikoláš Janota +2
Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of…