Similar Items: Local Redundancy in SAT: Generalizations of Blocked Clauses
- Performance Evaluation of Linux-Based Parallel Redundancy Protocol (PRP) for Redundant Industrial Networks
- Clause Set Cycles and Induction
- SAT-Inspired Higher-Order Eliminations
- Formalization of Abstract State Transition Systems for SAT
- URSA: A System for Uniform Reduction to SAT
- DRAT and Propagation Redundancy Proofs Without New Variables