CDCLSym: introducing effective symmetry breaking in SAT solving

DOI10.1007/978-3-319-89960-2_6zbMath1423.68462OpenAlexW2799039528MaRDI QIDQ2324209

Hakan Metin, Maximilien Colange, Fabrice Kordon, Souheib Baarir

Publication date: 16 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89960-2_6

zbMATH Keywords

Boolean satisfiabilitystatic symmetry breakingdynamic symmetry breakingsymmetry-based reduction

Mathematics Subject Classification ID

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

Related Items (5)

A Study of Symmetry Breaking Predicates and Model Counting ⋮ CDCLSym ⋮ Towards better heuristics for solving bounded model checking problems ⋮ MiniSym ⋮ Formula simplification via invariance detection by algebraically indexed types

Uses Software

• MiniSat
• SymChaff
• Saucy
• bliss

This page was built for publication: CDCLSym: introducing effective symmetry breaking in SAT solving