SymChaff

swMATH938MaRDI QIDQ13682

No author found.

Described by source

• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver

Related Items (7)

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning ⋮ Symmetric explanation learning: effective dynamic symmetry handling for SAT ⋮ An adaptive prefix-assignment technique for symmetry reduction ⋮ Modeling with Metaconstraints and Semantic Typing of Variables ⋮ Improved Static Symmetry Breaking for SAT ⋮ CDCLSym: introducing effective symmetry breaking in SAT solving ⋮ Formula simplification via invariance detection by algebraically indexed types

This page was built for software: SymChaff