DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability.

Miguel Neves Inês Lynce Vasco M. Manquinho

Published in: CoRR (2015)

Keyphrases

maximum satisfiability
max sat
multi agent
boolean satisfiability
dynamic programming
genetic algorithm