A Collaborative Approach for Multi-Threaded SAT Solving

Abstract

The last decade progresses have led the Satisfiability Problem (sat) to be a great and competitive practical approach to solve a wide range of industrial and academic problems. Thanks to these progresses, the size and difficulty of the sat instances has grown significantly. Among the recent solvers, a few are parallel and most of them use the message… (More)
DOI: 10.1007/s10766-009-0097-6

Topics

12 Figures and Tables

Slides referencing similar topics