Similar Items: DRAT and Propagation Redundancy Proofs Without New Variables
- Performance Evaluation of Linux-Based Parallel Redundancy Protocol (PRP) for Redundant Industrial Networks
- Local Redundancy in SAT: Generalizations of Blocked Clauses
- Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
- One is all you need: Second-order Unification without First-order Variables
- A new coinductive confluence proof for infinitary lambda calculus
- A Proof of Kamp's theorem