An Effective Distributed D&C Approach for the Satisfiability Problem.

Gilles Audemard Benoît Hoessen Saïd Jabbour Cédric Piette

Published in: PDP (2014)

Keyphrases

satisfiability problem
temporal logic
np complete
search algorithm
distributed systems
sat problem
sat instances
optimal solution
scheduling problem
data exchange
phase transition
stochastic local search algorithms