CosySEL: Improving SAT Solving Using Local Symmetries
No abstract available.
DOI 10.1007/978-3-031-24950-1_12
Related papers
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving TACAS 2018
- Orbitopal Fixing in SAT TACAS 2026
- TaSSAT: Transfer and Share SAT TACAS 2024
- SAT Solving with GPU Accelerated Inprocessing TACAS 2021
- Symmetry Reduction in SAT-Based Model Checking CAV 2005
- Local Search with a SAT Oracle for Combinatorial Optimization TACAS 2021
- D-Painless: A Framework for Distributed Portfolio SAT Solving TACAS 2025
- Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation TACAS 2025