On the community structure of bounded model checking SAT problems

DOI10.1007/978-3-319-66263-3_5MaRDI QIDQ1680243zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(5)

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

Describes a project that uses

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)