SymChaff

MaRDI QIDQ13682swMATHFDO

Official website http://www.cs.cornell.edu/~sabhar/software/symchaff/

Described by source

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

Cited in

(14)

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

This page was built for software: SymChaff