Similar Items: Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences
- MaxSAT Fuzzing and Delta Debugging
- Improving SAT Solvers on Orthogonal Latin Square Problems
- A Flexible Proof Format for SAT Solver-Elaborator Communication
- SatSOM: Saturation Self-Organizing Maps for Continual Learning
- Dsat: A Native SAT Solver for Discrete Logic
- Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives