On the community structure of SAT-BMC problems

Gillard, Xavier;Pecheur, Charles
(2017) PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) — Location: Turin (18.September.2017)

Files

gillard_ifm17.pdf
  • Open Access
  • Adobe PDF
  • 84.89 KB
Download
gillard_ifm17_slides_deck.pdf
  • Open Access
  • Adobe PDF
  • 3.7 MB
Download

Details

Authors
Abstract
A common belief says that modern SAT solvers are efficient because of their ability to exploit structural properties of industrial problems. However, we only have a limited understanding of what is covered by this ‘structure’. A recent hypothesis suggests the community structure as a candidate definition for that notion. Our paper proposes a tool helping to understand community structure of SAT instances generated by BMC.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Gillard, X. (2017). On the community structure of SAT-BMC problems. PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), Turin. https://hdl.handle.net/2078.5/226775