On the Structure of Industrial SAT Instances

@inproceedings{Anstegui2009OnTS,
  title={On the Structure of Industrial SAT Instances},
  author={Carlos Ans{\'o}tegui and Maria Luisa Bonet and Jordi Levy},
  booktitle={CP},
  year={2009}
}
During this decade, it has been observed that many realworld graphs, like the web and some social and metabolic networks, have a scale-free structure. These graphs are characterized by a big variability in the arity of nodes, that seems to follow a power-law distribution. This came as a big surprise to researchers steeped in the tradition of classical random networks. SAT instances can also be seen as (bi-partite) graphs. In this paper we study many families of industrial SAT instances used in… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS