Symmetric explanation learning: effective dynamic symmetry handling for SAT

DOI10.1007/978-3-319-66263-3_6zbMath1496.68366OpenAlexW2742197492MaRDI QIDQ1680245

Bart Bogaerts, Maurice Bruynooghe, Jo Devriendt

Publication date: 15 November 2017

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

zbMATH Keywords

symmetryproof theoryBoolean satisfiabilitydynamic symmetry breakingsymmetric learning

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) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers ⋮ Unnamed Item ⋮ An adaptive prefix-assignment technique for symmetry reduction

Uses Software

• MiniSat
• SymChaff
• Chaff
• Glucose

This page was built for publication: Symmetric explanation learning: effective dynamic symmetry handling for SAT