Community structure in industrial SAT instances
Journal of Artificial Intelligence Research, 2019•jair.org
Modern SAT solvers have experienced a remarkable progress on solving industrial
instances. It is believed that most of these successful techniques exploit the underlying
structure of industrial instances. Recently, there have been some attempts to analyze the
structure of industrial SAT instances in terms of complex networks, with the aim of explaining
the success of SAT solving techniques, and possibly improving them.
instances. It is believed that most of these successful techniques exploit the underlying
structure of industrial instances. Recently, there have been some attempts to analyze the
structure of industrial SAT instances in terms of complex networks, with the aim of explaining
the success of SAT solving techniques, and possibly improving them.
Abstract
Modern SAT solvers have experienced a remarkable progress on solving industrial instances. It is believed that most of these successful techniques exploit the underlying structure of industrial instances. Recently, there have been some attempts to analyze the structure of industrial SAT instances in terms of complex networks, with the aim of explaining the success of SAT solving techniques, and possibly improving them.
jair.org