Iterative AWC for Distributed SAT.

Jesús Giráldez-Cru Jimmy H. M. Lee Pedro Meseguer

Published in: CCIA (2017)

Keyphrases

distributed systems
cooperative
search algorithm
distributed environment
computer networks
distributed data
multi agent
lightweight
orders of magnitude
mobile agents
computing environments
iterative methods
data sets
boolean satisfiability