Solving Sat in a Distributed Cloud: A Portfolio Approach
Work
Year: 2019
Type: article
Abstract: We introduce a new parallel and distributed algorithm for the solution of the satisfiability problem. It is based on an algorithm portfolio and is intended to be used for servicing requests in a dist... more
Cites: 15
Cited by: 5
Related to: 10
FWCI: 0.3
Citation percentile (by year/subfield): 74.75
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Decent work and economic growth
Open Access status: gold
APC paid (est): $1,100