SymChaff

swMATH938MaRDI QIDQ13682FDOQ13682

Author name not available (Why is that?)

Described by source

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

Cited In (7)

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

This page was built for software: SymChaff