Similar Items: A Flexible Proof Format for SAT Solver-Elaborator Communication
- Sharing proofs with predicative theories through universe-polymorphic elaboration
- Revisiting SAT-based Solvers: MaxSAT Rules and Core Sequences
- Improving SAT Solvers on Orthogonal Latin Square Problems
- GVEC: A flexible 3D MHD equilibrium solver
- Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
- URSA: A System for Uniform Reduction to SAT