On the hierarchical community structure of practical Boolean formulas

DOI10.1007/978-3-030-80223-3_25MaRDI QIDQ2118321

Vijay Ganesh, Antonina Kolokolova, Marc Vinyals, Chun-Xiao Li, Jonathan Chung, Soham Mukherjee, Noah Fleming, Alice Mu

Publication date: 22 March 2022

Full work available at URL: https://arxiv.org/abs/2103.14992

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

68R07: Computational aspects of satisfiability

Uses Software

• MiniSat
• Saturn
• Graphplan
• Scikit
• CNFgen
• STP