Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778255 | Journal of Applied Logic | 2017 | 13 Pages |
Abstract
Recently, there have been some attempts to better characterize the structure of industrial SAT instances. In this paper, we use some structure features of industrial SAT instances to build some classifiers of industrial SAT families of instances. Namely, they are the scale-free structure, the community structure and the self-similar structure. First, we measure the effectiveness of these classifiers by comparing them to other sets of SAT features commonly used in portfolio SAT solving approaches. Then, we evaluate the performance of this set of structure features when used in a real portfolio SAT solver. Finally, we analyze the relevance of these features on the analyzed classifiers.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy,