Community Structure in Industrial SAT Instances
From MaRDI portal
Publication:5235475
DOI10.1613/jair.1.11741zbMath1430.68286arXiv1606.03329OpenAlexW2979928436MaRDI QIDQ5235475
Carlos Ansótegui, Jordi Levy, Jesús Giráldez-Cru, Maria Luisa Bonet, Laurent Simon
Publication date: 11 October 2019
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1606.03329
Small world graphs, complex networks (graph-theoretic aspects) (05C82) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (4)
Towards better heuristics for solving bounded model checking problems ⋮ Popularity-similarity random SAT formulas ⋮ Preprocessing of propagation redundant clauses ⋮ Preprocessing of propagation redundant clauses
This page was built for publication: Community Structure in Industrial SAT Instances