Using Community Structure to Detect Relevant Learnt Clauses
DOI10.1007/978-3-319-24318-4_18zbMATH Open1471.68235OpenAlexW2098993696MaRDI QIDQ3453229FDOQ3453229
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
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
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Cites Work
- Theory and Applications of Satisfiability Testing
- Community structure in social and biological networks
- Inprocessing rules
- The community structure of SAT formulas
- Impact of Community Structure on SAT Solver Performance
- Community-Based Partitioning for MaxSAT Solving
- Empirical study of the anatomy of modern SAT solvers
- A bit-encoding phase selection strategy for satisfiability solvers
Cited In (9)
- Title not available (Why is that?)
- Popularity-similarity random SAT formulas
- Decomposing SAT Instances with Pseudo Backbones
- Generating SAT instances with community structure
- Centrality-based improvements to CDCL heuristics
- On freezing and reactivating learnt clauses
- The community structure of SAT formulas
- Community structure in industrial SAT instances
- Theory and Applications of Satisfiability Testing
Uses Software
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)
