Using Community Structure to Detect Relevant Learnt Clauses

DOI10.1007/978-3-319-24318-4_18MaRDI QIDQ3453229zbMATH OpenOpenAlexFDO

Authors Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

Publication date 20 November 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24318-4_18

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1931822
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 2243370
• Learning the dynamics of embedded clauses
• Semantic community detection research based on topic probability models
• Detecting semantic-based communities in node-attributed graphs
• Identify implicit communities by graph clustering

Cites work

• A bit-encoding phase selection strategy for satisfiability solvers
• Community structure in social and biological networks
• Community-Based Partitioning for MaxSAT Solving
• Empirical study of the anatomy of modern SAT solvers
• Impact of Community Structure on SAT Solver Performance
• Inprocessing rules
• The community structure of SAT formulas
• Theory and Applications of Satisfiability Testing

Cited in

(9)

• On freezing and reactivating learnt clauses
• Theory and Applications of Satisfiability Testing
• Centrality-based improvements to CDCL heuristics
• Community structure in industrial SAT instances
• scientific article; zbMATH DE number 2243370 (Why is no real title available?)
• The community structure of SAT formulas
• Generating SAT instances with community structure
• Popularity-similarity random SAT formulas
• Decomposing SAT Instances with Pseudo Backbones

Describes a project that uses

Uses Software

• MiniSat
• Chaff
• Lingeling

This page was built for publication: Using Community Structure to Detect Relevant Learnt Clauses

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