On the community structure of bounded model checking SAT problems

DOI10.1007/978-3-319-66263-3_5zbMATH Open1496.68361OpenAlexW2742798638MaRDI QIDQ1680243FDOQ1680243

Authors: Guillaume Baud-Berthier, Jesús Giráldez-Cru, Laurent Simon 

Publication date: 15 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_5

Recommendations

• Impact of Community Structure on SAT Solver Performance
• Community structure in industrial SAT instances
• On the hardness of SAT with community structure
• The community structure of SAT formulas
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (5)

• Impact of Community Structure on SAT Solver Performance
• Popularity-similarity random SAT formulas
• Generating SAT instances with community structure
• On the hardness of SAT with community structure
• \textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers

Uses Software

• Chaff
• Plingeling
• Treengeling
• Splatz

This page was built for publication: On the community structure of bounded model checking SAT problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1680243)